SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ii' l ]]ConcurrentIMP:threads=8elapsed=15.588cpu=40.275gc=2.412factor=2.587zXZִF! .]ŗXf1-/6vRZy-`}$=O]a0_(0hzbn0>LaQRIԙ _)k |vܹ-ρ>@In (Ru6O '=>X)Ty`>/%}hH%=^lx1xêvM\Ū F^Z|g":I]P*4V@O 8́ &AQnQlE3z0YP9jC#k~"EtpKc ?{g urulOD3Bt M>p-\$D_[7]tx.́}WXmn63 |`qa% <9'BH)U1De'^S:4ѥĒGFRmqǵsذ%C_F'yr{/r+R!\scٸKY΂"Ie!yN@W1wSlEŃ+P݋RU"08$ gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wG_!NM,ɠ 0L=\ᵀn^ FZ{$NWsHI>f❱8ߍN~hKMT5 -oflI$ZR!&܍t$8E`X[Vɩk@'jw[VgYZ7zXZִF! j]ŗXi%Ebo̴M&B hԼ'Wu\ӗӱqVEI*zc+Z(9ө|"&^s]^S3Y'%%H\י _nUx[P!>;bPe0KOѢFB yPYMxM38}\ |ħ^e+»-/& ᛄnΫ_vh9@HawbnpQl @r!E\l2U[)cmPy[PRz:yɥ9sx"n lI*jMh[ꆰθ}ɓH7Q2d`za4i.ʦJ5E|Ea`?2OZ-E =hmI {OzW8Yf5B!eaNv%rk꫘3D}%v XPQ9c.zo|WE̥S&kL/y*7ඁ0܊W\0MU|`rn"|f ̮^@ {9+ Æ-S_p\V=a.fT}ajm 36 bO"B? H5;mS[CCJԚE%3P9gTӏm̎?Yby ^NP;KT,y;B/%;^KbIݳLg͙=Jd J!׸/W'~c]ob7#*,Dc؍Bi%pwxs,f-{]t:`% \hS50|*gk?ClEqQhѳs)7yQ%`vڬu.b7@}(Y%c@J" NB Tp@,$X0Cj6JѸ|TRN`nw-]XH<,SO3 y* #عBȲQIL`:JĐͪQ0E|RT4 "bjS 7>zrbU*7*dJf`ӟKkurW=r:D|h3'%Vף!aCtS'?r=EN =zפaٝ> e}] )~DX198dI0EC*[jZsP |^%CW$fYumӟ:oaL)VgfA6> cs]w_}̗c2`ˁ1궲/.(w^浹*69md^>s:3 %c+ܘp^˓\DRrdEpS18v)2HEU/f{fH'Z쮅 W(^YP!#)}wdÜ6ObӸhף~OeR`\w`2KҌˊY