SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o1 4t w/ RefinementReactive:threads=2elapsed=11.023cpu=21.276gc=0.468factor=1.937zXZ 1 RefinementReactiveִF! O]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓgC@_1xvwguq#SssڕLSpJAQC(~ 2K=IylJ˳LrTX 16a++q^M{M ߷hͩ?ΩAq7qn"b=.T1kiv-#V*킺ɸaHӼ+|6MSgBQAb4t;t+ZDf xOPDsQkMP`D w1J^;6I0R[M4 qO M\܉=5P2S"9l{pJjM?Z_SB\lC8U7$QfqJNl%MqX8N%)A P$uLv_50d`i/ҭluB\A^c+K{gqͷ0$ue}g{k lF ꕊ+.YOHx+tm*U7Xr֢Yge?B8[EˇsoGDk}w&Ti@D+xρiMI1NϠ=zZLD"4CL|A悃+t373.r@`&R2r3m_q tV׶v8[+ۆ+=!º {fo@؍'3՜2u.،l4+@Đ-8l_>zK}2=hd汯O-q[rҔ_7&sW4'zP(2Eu m"v"uO¡%{;uӸ\Ob8/IwU(kزmTb܀zfY:&56vˍ}%^7c)쵬TW1/)3;HMY%ܷb7WTJJNr.OeDZQ)V.(7ˠ9.[ NYDzĪ>IXy*%9)(\$8"̼ |\CwP5 [ZVg37Aj εAp2N'1֗X'C ~}_dB$ɶu!o` gYZ7zXZִF! ?e]ŗXi%SF .z(w9{')L,_.Z$kpXtx7C4^?l=C*:* U} pN1}㗫n/e)ٿˍV-y lKN8vYvF5/Ϧi#ˆS8-LnDzMbV-lqn&/ iweo͏[AD[1l1 A >FH !&R9\1_N| b$Sxњ_grnb3Ƽ'Ÿ|@!˚凊~?!䈀gOQ3@0g)r|[S38-)+{8X09O;׳ o,QG;%-a4ʊj~+7+Nr*EY=I{ճE4TERe 4,9Ԃg{;A)k9#8]Iaj{RVњV%rg$ڠLyyU=>RxBz[^.iq鼌ئI%M[̚u`yD1?I܃^p-\Bgn1+K Vlgzߟ[3dü{>G] Hb+s*#6$v"c 5;(w( sڜ#Jtq+`#'=.%XzV1-pKcc|e̸n;Dzϖi;_>:)&8G F'+B`8bc.a"Z`T2jZ篂H7XZ^+8 3tW}3B`gI;phrU6AR'Xy(Fl}'ExnjXXd޵6kxN֕~]r2Nԥ\\YcBԏyȽN3az6{E]yuG:ŠP3_+F[JĨ )ߪұy`:T9oI VfQD <&N- 爥~pgYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4