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 ; \dT ]% Special_Function_Bounds:threads=4elapsed=30.803cpu=80.636gc=0.904factor=2.627zXZִF! ]ŗXf[&R7=u㢸GOFWwbYNXa暸hV5N knrE7,yv%oT_j%H͵$6u"`~v$“dfc$QxH' G.nVna_aY:*TמM)X4נN{R3- ; 1p=Z>FIry%ǃ2nnzX0eNF`ܢAh6'}؍<-$ Ny24 6I!F">A bĘR^:̿xU$B5(yG7FRD%'iͼG ; Special_Function_Bounds  &8qI7HF <$i~nLwЯ(Ry~Ho"4dW@lJt/Ë WX[OmfT6]xF,>d*M$EwJm @zv?Jz>毣R+(bNl$QXrժr>Jsn#6")el^jM~RE/C{:];0r@CX>]CO% <2"xkv(r9|D@#ZN#t 1i#2)I D *(jP:(V6춅x;֔gB:&32xIW._oo&ڴb_^{#_TA rE)Zl9}k`m9HR<Br.gYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -oeOz\w-{[G ?U~&-FSPR 3,"ag…QTlUP^]8QA<ي,ws6$ctQxgYZ7zXZִF! ) ]ŗXi%ES3l&R×29x^>y= I"˺N'ZDiP++ .RQ-GX&xcxOTLNJsV[Y e⏦QK `cg=@, ;q#$H2Ll")O,Sͦ^9nBQm0}p5g#3+]bjGcM" #i]EL{rYMڋ}6ĭ)!S[nIR{EW fa5"=g|Cxa8R<⒌dUUԥˏ_'Cfgm5bg@'5 ؤI5~➃Q[ 5z+IEx~!.?SiMbk}sIL:DsP/hqw+R#q)z'jP'?צ {ZJK1)F`T#Ylh8T6'8|!)JH)r =yObڼE + @Ъ2N~lp,Ea W "nȰa<rm ح+1ͳԖ?l}W يRj`w./+ƈB.z2 7e4ӓdR9~T^W3Ry'qB**gբ<.aQI}l٭զjKE/a~X~ٚK\sg%L jtbߤRy[OiuZ:lAvX3Q!j/ P?։'ֻb0rXF!Y7.u>F,ۻ]]O&O dHp7 &67WE j9p\rA?(㊼{+FHq&x\NCd^c_M'Xg|lFACh»|XãH6WX 5zw@-W_[ߐy5/ e ĤN$~[j@>r't'Ip` .Ì Tx;ˑ7? ʽѝHgEʄ=Ze(Xdڟw*N.G|kAqx@P<7~sی;[{=姩:8ۺԔVP%NvɎY@C3xQ8:׸!A1|yT;x NOzAThl}hJs8vYxPLBӭsAQ͛&nm&&#mNu!%07tV?<-MAf6yU>-3u].X˒dſ O1\h[Ou Avj/;[RE5\w Eߏ8a]|CM V1Yw߫; <4Eu+?*}949>tc mn~W2R'ZPATSV82@B}QFA? >C"=9+O~ik>dxvS>WԐTҐؑDU(R3z}}i nw&![˜JY.I!ӏXl eۭI6kE.9,O|hzo!iHV(Lj/AKyLigYZ464aee689a16f60e9c1c5e1f3f08b516398089a176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac 0f21cf66de828efe5af9956b779f260439f6b6dc