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 A < ]S HOL-UNITY:threads=6elapsed=17.824cpu=84.188gc=3.580factor=4.727zXZִF! +f<]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx "Sr?xUб(.ku91~d:}lPzwQlA dBY-bM9۳ob3HZ_7Ӿ] =þا@H*֥e%l!N uKxXZ_tcWN" 2\WR++e5[7}`?DdxakX%F(_r)4i2z i%۷5&dS 9lsҪi&6S5ЪN$*qj[̖   HOL-UNITYW!n;pa?{oz%6t^{Y7~)]q3l\ d.arTeȻp8% )IZ^~eL'ۜrՌ2ӦN!2xํK5UAp(\ڍI#dJWj:ԗʉ: ٭}v.rӥ$˄ Țmt/IGЕS/ȑlA7_#ɧⶑJ3"Wd8Jo.U[ÄKW؝h͡ ! G2ol+xWcp[ K( /_P{k_JF 'hUpT ~ӽZo<:3|-믥]C$?TapгYP:FlE%LeE/q;3Z\1M%|?ZmH=tf nM(B]'M]Ew,`Vw{`Kξ6$2Fbk'_hJR`g&N-{ޯ;8#yjR]c iNA`UB|HMi'}ڝSqAM]^=Ȩ4?, ^U +{χL࠿&1#]ASz L'Zv_D*&>݀NܸGs"J39ȋ- H2Wn7z/:f0Ϫ;P@)1bMuk2mw VyTgYZ7zXZִF! ;]ŗXiɟ1'x^܎|;uA3qB_hgtpyWg;ZjܟQ8IB]w%'Io8:4;gJ-yȐ3LAlZ#&%]/ho櫮A)Gixm't~ +@KBpT70%r6C8cEr*ze6nj {;'8"V|/m h4IF&)fDL_ N()rųgդhj,3m< I$`kd TDja'XMk91(Tf3K?y\D& tIZE-椝Ҡ舉X6&Z՞oڄL!]-\)tLWBR fs0J0 Čt]#! a.+&ۮ7cqvчN}xF ȝ@k4b]>[7POun!V)ry,gxTI a&QYaȬ( N n,YJsogV>ԂGT.tCw>\ҘPun:%]4U .f\-BفGr* Bj$8*|DIW]Js uOydzU;rVmSݱ+ɪ"}θ$:^)9Ǽ򍔸Ơ&ԋ'0%k>d]On##O\Br./[xG1Ʀ#GM:s%$NaA;y7#r{ߘzT"GN(z1izfp0*/I3>s*l)ղ7\Z&3" d6?֑`{.ЄgU5