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 ++R LDL ] XML:threads=4elapsed=18.048cpu=35.236gc=2.376factor=1.957zXZִF!  ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H/Ƹ<&XҊ6u2Zxk9|Yy؂(UCM^6bJ7N)Ι U_U_^2,j/X`‹ =aI;ѳ^1s`+=(5X vYe~LLiZ[`1b x;"vd05*ӈFoVޞKbrkXZW;'*ȗfA;Ϙ{#}/ٔ(ԗhT.2_qWpӑW3ݺE+0/*`Irq==꘩WI53 '"ٺ#RZ f}7? ?emc mӫu+A mٮ  Mò.3 U#11)$]MgYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMBbc=G'Ű:Ʈ@\+tTؠG|̟jVtRЮ^mp"tdFg5zWy|] >[KYm|A ޱ̮j0y=/9Z[Oj[h3G# HhfcΉ?oC0'+5{#Jk1S갢]caM-B9n$gYZ7zXZִF! z]ŗXi%G̉Sbu,Mxs0}sE^V 0=,-;'mJSB%?ʕ!OG-!.&Yx50Cf3p 74ʐ4bw##cigOIBmԑb F]9 abuj.Z;Fn̎\F$Z-K1󇏃_zm^"}jRU9:[yNBB5lF/rڅ;l;ՐUM?:m ^'eiXпjq'$$iH|:_p<뷙)7VإӖ:_]+n٘WHMҭ&KS+6,KsAS^Ӈnm Hj*_ZrfɀoC i0/FA8^_W̰M? Wz6]> X\$;SeG! iEx;Yq&O&xBPlD'蜩ǝu# |`hd]d,u8:Wa!$>蟠 ٔҵKo jځ3e % l=9P&Ycs k^L:tNEV?;;H#'rPy0pb]@åp%4IϰE>+ג5xAYљLYZ:ϢnFVlBN}=wBzPm Ձđ)W_HcjEI'+#V4zA+`lNPa7K$\z \8\^!Ţ}|ft MS42Ui}=~a33Z-{J҄[%{~ܒie~1IDWڪtKu~dr27wo GXgYZ4018576e5b04de9e831863674d53753fd689286778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea  XML