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  ^' Ld< ]%]Sepref_Prereq:threads=2elapsed=57.306cpu=68.824gc=3.856factor=1.207zXZִF! 5o]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU!QJG cM[yU*;vzkc1RlG8 nx+[: ]\=3>pפi1jw>R2IPVC4>UwڊoW@2L3SZ]ȯihq0MZ#QyZD\ٰtCepdVBt͓} hu)*~"k zVr6p:KꡃAXvx&O`|J\ܶrhG%5RliF݈q_4aonuCTdat(TޥOa4zQp{>hEkQvHP<J$HE2mzT";tipn,.)YOH;y4q2ߜx_EUޕr p'fn{ /p\ƄH3g\S$G`ĸ?6vİM6U -If2-ql18ARAYPlgkJ$*\U'*/o-D 3J0,5xp io.Ózz+T@0?zJHrsUQ ^B%h}W(lg$Lh<$qv ᔚOP&H|ȩ7R X'- W ~6%/p򫍅|?ɞ_ٶ] cPk{l4#:8PX( ' Sepref_PrereqW\5Gg%tXpbJtIέ!>ah{ mHk?Ǣ:f::yu)! j>gYZ7zXZִF! j]ŗXiɟ1˦r~KunύNN{k>4`n*mDʡU}:#nB _#nGv'FlͼOEA4Y~^#pU!" HsKJҋ3%c5” |HXdl9Ne]^v~ExӦ$?Vx¬{T*e(zcZUfZV[u78/d vи2@~3"sh(OnvtF%؛d,Yΐ&u?"ԇ;CqXx@?-ARtW1>&t`"v:f,n0J/gYuM@! xz!׼CH}_ ?؇ !(/6$xT;~WmXenKҨCrr0.#~~-;9U\euk!VɄrG`ǦƁ6P buVhWv(`Em`7TP]hs1$q- /d" w ڨlS.k+s`L ՠTP-,ͥ D`T2+Z]ZKT}r/Oū<̏<#wR:0 8Bl ƿ&ye 0a=#wT^$0>d@Vvc<)4n0*%NxIe )35 ÷I'/NO܍^ØMrHʡn*@zʛaAAv>zN4$ No=~HIW.(]?PY眰؍kL}*-mI]; ^ %h.lirFRGram>b[B!oGV"9Q~3͕oUӴ\oEg]4q[fIm%(4LmA5ӐEDYY* "B>9s+)ׇoÖЮSWb2GW%x×#+1RO+zX`EqGAp( AZ9:iX f| >솕!YP59'UUk`szUE7`/EmTrVHm'7XQx =Y IU/kЗJڦ I6,^̽!soaS 3RtDҬmKRū !do{.LEb/KA ,=^'[DQWREٗf;#T'r7[a^я} ^$6<ëeDxv iSB#\5_PQ,5j:rà౱Z^̾g]pkY=Y9"v)#=19qo뿪Ծr\UdDcׄT=zvJuHя_#% uӢi\ }1ˋ1jQ?AK- }QAvS}RnC@->w("nHp/Zؙ?1V1 <}MN̐r `z*a; ?Qe~ OTxԻIp_HOoL%GI'V\N Ϳ3*);Sв6AMz0HWgŊc/E*QIJA/aPBf&N`Έ<($mHUvXֱ6 X;&yCWIpeP^%2kt'o 38am/@Ci/GFh2-l?BBGQ\rdx҆l6D7U.'CFeR|m,@9Ɖ@\DhL2wҬ^粱L@ |r/D\*\\bTMjF&%򂅟n8345 ZJLȔ?+Mn8{q9'f+3"?6 efP)p@T' ˿8'ǕLu1mnBXFEA!drJ1 ֜ kh9/xBOK7^WenUAd2A/SuqqMN1f醚T|?He$!Ũmk9AJ԰G 7w 峼p(o@]L:-0JC5lo|E;פDٻ5/23̧C,9x zy))8; 5n-̍E/hU_m=XI=n r5MH?3Be)r?Οh-|x'~su={\_&KlsQV ʔb70R@#-#-36