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 GG6C l , ]S Comparison_Sort_Lower_Bound:threads=4elapsed=6.351cpu=17.996gc=0.720factor=2.837zXZִF! ]ŗXf[&!9sA~2jP;QJfCp+~JmUͻeqV~vDZN6B|^'3j,5?{sT,d XGˉ a2|p85D"r;:"jd8gQE3l˔\K}!"z*͉K[0*^[-)pĝ=vtxs)x<άDo;ag9't8Epz=HL !~lSD`GI+ .4B2*f'Cڠ9戫::םqN*9Lo\; }]3HG D^ڬ4ə;'8rkĊ TcSbm]=8Q]WgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۾)pf& :1[ljZz"1PXyO%Wmy#RGˇAT5X﹇+kG?15`$`eIg|:%ؐQӥ@|KkϡKo݊eExb]D'[O־URgtY$GgYZ7zXZִF! 7O]ŗXi%GV'\1J;"r-zfg_ lmAm1}T"7X1˪Ix7'`E-"׭aV;-2N:# %XϠ>n-4wYUV?"a@&E;9NPV(6+_9R)KhP?*ea{7Ĕs8y2k|%Ph_X э 9V f4ͱ8 U!֡Fi,5yDݎnT<p<5'kmV0J-պ`A+w Al{2pކW$0 ~Ԩk N!*QL1Psf>z$-ZZ `"LL?_ҋ8"_NrʞPWzpg8멱Q&fG3/.OGpi ~=Sj 2i݌uV.~D"bL0 c'rb;5%[(GfZ#:L2a Y=IJceX=L27 BQL<Ў>a\qU&o > DWiZc#Pan2O1no}g/Ŀ I huS;(DGEMooX UϪP{]jg$1}P):aw&9F2mq3_"3#ܖz\[Gfkz+ɋ(߾2u(B?*ɰvScN=lL]TDtMwOL ٸ8qc`+NSD(ʋu'gѢ; A,P1#6x FMb1)RW,W=I@G4;<Fdf<@" cow%?qrQ4./Od|)CQ,y