SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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 ! |D S/ PropResPI:threads=2elapsed=16.042cpu=26.920gc=0.864factor=1.687zXZִF! v]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&ll}ˌrRer>(&ȵ52$}7)7LXVU~dlԝOOW !Wwongt >]Inex0l {:\XLd(1 Ѥa"#ׯ5 hw& z'7]4 T$R"39'r(C Ehj];'0?y+R E,$/";zV*F0#J6L@<{%WgYZ7zXZִF! V]ŗXi%6yKW?.,`@ʭIF4p{,]-fJfVlP`ʺ~lfyd̩Z_&ﻪXuHo7z8"^o؈Ev48ẽR*sC3r?'64Ю!( [BFgus5F W[0p4 ng|yRYT)A"yS vx-~S1_RK"E_} !:;4V(rJ&؛xbe<&pu`\:y(|_JsB8ob`"![C\Oʑ/{+ xєt3a+G7eaܻzsJnb* tN}+e >}sfqtl+$qCCs@vGyk>BO&s=`u.^6Ͼ[l GDiiboRPm V\j¤tUN&AӅ#`dYάX@Ḕ =B.mW%?x;UJ*9ljT F7wn>Rg%$ix!eP C2{ǒHzi| u8 FpC'{5QA+K$3Y>IE?r0%yߡ h67\<8ԃ1,{-]WyA[ tR#z8z6$~ Td0D$s"c61% #i@HݴiŠv`O1E)0I>4<9Zm JN)DÇLz2Px:O*˜|\ieI]?ͤ2TI*a-ˊ*DCòT#C+Iy<5ǧECH^%+i=[ợπ}E=TY{8pلs&q CoqW>xC2>ؔv_VG&>yN"pktYoJLN$7|7ѹ+Qث~w_Fewkj$dW|ޑDxI>GL\pRYԓY [<$vdn1J=T|GқX㕺@F-S^?3a(.Iu#X|U T×᪃&~t1W! gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 3ac8c557828b78a610e44be5e28d68e75205bd6a 80acea014f50df07de71735a0b8d00eedf3656ac edfaf9cd07c8e3673d185c84ed84427398c3c59df0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24   PropResPI