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 \ |T ] Corec:threads=2elapsed=48.569cpu=72.388gc=4.816factor=1.497zXZִF! ]x]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE&Z,o'X@Z_ϻgWCz6apO"#$Z8QWM (;nVJDPuS9.P\ 5F H\:}Yܖ%2xL*LԄ7 dEFHߢ!wkj/;_0b&E" t<'lEyylr =u#kryrTp+$8;e>kGvĤ*v]gM{]WYgxc lC+۱gYZ7zXZִF! b]ŗXiɟ&zLobev/}#$bY#VYd2xIP+X:^8Q^<&s]Mߞ,n 4Jɣ$B*+``@ߺD\Y~Jmӄs\OxXPlNv|HP;!?D=lʛ?<5`p5%ˬ'j CVK%))2r?B# ր F$&Jƺ~ꃩ-(6e*J*cy@t>ԗ( Vgɠj]M>YEYI,Ο8#+'*Sr? ϊ&X7 s1!av:HCWدh9tꔺb엽-&I hu%K#ɡ*)]!P} >?2y2p]gEɅq#" " ; L(5Q8qG`nQjN%|αzCfj/,TxTa)֊p?%Дi0K0ҫ Za\T_G>psC 3Y#At Y! _:rNCpl3AbXքpTLd)Y.  5, -c't}0]:ˮ/7Nz0憻 H#CiqimvIĕc4PЗ h7RK\SM]p(9FL{q;+~n0u Kł` aV&V7SymO@{gA]i"h,*<-@D)[ӻ ZY`b~cI]ÀC6-fP!%X}Btz5Hs>/r&gnUfɛ<=M+]EoB Wű--P^ł] k4AǿkMaޘtnǮԊ['t؁%*Xja*fKRjΏ@5R6˓&1rJ(g'?X:^F̻/i8,ӥ e^d/+O%?-B%8?qpQKk¥O]W|;r~܀N[ &erU 1c9wř//(ƋN@Q׸,c^vN [}~t@{B *C굤̊%asFΨ@rmG6T^ /Y0l>̡U$S(iG+d䐷Ò 5(&eV-LΨ2Ʀ6nU^DUc!5~[$7E}?N5~95]GyGcLꆦ[ӟOxS]Q8Is,25Aq&5 VSa?P^nԹȶ+G3T`/[AcP73YI▚9deF(!5귬ĠAnTִn({Ex+2, F)±Q%#~u T獴F}5l/OLkLE98uӎLr!n3uc k8S؉u(&?V8)DIEw%i/M~μyzuEp3;@;f`XWc \Pi2>o? T5A&7E ZS鱳h?:FXW8!V W6;j#'`fi D1ڼ @x@pIq6)O7x>pƆWXdcpdak7 iKtI*SNIy(XR慊c"Zhؔ4~xwBb2 $4ҞJy.c#lՠ MP7 Z]OZS&3o۹+ngYZde8f660d910a760545164a0d65ad38166f38f903daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558  Corec