SQLite format 3@ . BBh77otableisabelle_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 z l, ] ZF-UNITY:threads=6elapsed=5.254cpu=25.936gc=0.880factor=4.947zXZִF! [>]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3-BT/&e&0VgȸnF5R aCm8Tu]DOTdOTГ=QG0LҘ 9A᥏Jlc_Mt^,2@(2~Iz\ n&-2?k0VD698}u\=O<<(hn>PLM^Y>/=7Aᆭ"}4$fJU:"զdX.5ϫKMΩpG1oH˳\U-&np]EMBgǼnTl@HwޭFhy-Z 7Q߾f(4_Vr9uK5]4 Xl\ω=(oX6~ _[+/]K$_OzB rbVgYZ7zXZִF! M]ŗXi%;+b{8Lg?[&2p;% l=*(*jpD?fm,p&(?HFj$g ِd\JG1ѯg8^rt5 iEm?edt8֫D@p nSM&xGkGI u;BaqiI5 HmD4F'90+8tg\Yu!P B$ Vm z.ѫ )eWK@ؾiw1ok esvª|=-Աdq. }Y r +%F$JVFۈMn9yKi/R}*LQ T\t(G'}pS[RE[nib)̩q:,8Iw'9^9Ojf5[DHs Z@b&,]3W BT$REpDaLQ@#ym:FGU|TldÌؓNLMـ;)mDtBsdAU1ۮ 8Kbhg~=*A-秸VHӠU0Bۗy(LH-̚꼘@r^6]X'߁nZ0Ѥ\sPf|:e鼄AI[হM2DqKb++NtXE?'ZB!emodo@qp@5`F`95ix2*LJfs,9"\m-6Y@8M$gYZ557982b0d06883e5fde081e7b7c96d6abc5e003476eaaa26d5dc8b218d0a611295d4ee3d6e6f203f 72a97dd597f438c40de5f680854cdd45ff37b5fa 9f0f626730f5ed3eb41deb7faae9b50c44c41544   ZF-UNITY