SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 UU \ E ZF-UNITY:threads=6elapsed=5.108cpu=25.228gc=0.836factor=4.947zXZִF! b]ŗXf1-WHIk0p䋎dh֨   ZF-UNITY/+aHe x M_`7bjd|@z6\lr$ L 6n㏀y 5wJkMe  zD`оGmR6fRəPgW7D[>87ĚC/(e} @CVDԝUI˫mvi2.Ƒz:\;8_Ոvzx0j^U hy*iﴚ^tr@:)^i#^X8w:1A$+;(DF2X_aj]WᓶW;Snk~?^/{^QBKr%>Es{N+Zj+D2cۜ-}6wɬ4.% '*ttWh򀶽$] 56Øq*MT K2:Qcd7F0"?pJm[=f^0g]CWH~u"{p َrT%P)T{,}$\ lpT Fy~o*Ν'X-Q d ogиg-7Oآ}v9 IQ7 > sJxTBud`A{+fJCkgd} Z-kd=T<Ͳ4f%3'Nx?ID@Vz\q{ =G%rDO*ǦM"O"nۘǪyyQ+3`)6 _K vnt R2S8b îOi, 1yo8.'m#iQiS>|hfbULэZ +XH_r߽U]/OPIv[@w)}%ЋeRڴKGi+[Yb]Y#o#Ctl mKWޟ>'81P脲l+A8s|zd\ߒs^aQ[>{C ta?q1-RjPWvGN>";?↡ou0'3 eQk9(L`{gW޵tCVџIƶH Q$?HF ߱?nuLܴ+z""M!f#2hx0L@=F]kyh6CقA©P~i𶞣eX&^?RC3/gCJIfp;kV'!}5wV?m5 du"tp~;SzYA C.K áxբHk = =gٝh&f!mwoH"H?,3.".~iI1^g[}i-Mژ <mrS,ٱgYZ7zXZִF! ]ŗXi%NŞNpqGp]ۨ'n8jooF#kaj_uq* nXneT0}"me?+2T6$}$V]>`6j8u.ZR/f <&);k>0~KwOKN {j6[rfR ocqq2VqtӬ$c34-zPcc>_f];v2"kykr*QRsk^vA<(C`hwI᯴mS7^=2;TҚCJoVMiyNέFbHv|sǠyf6Ir2 M͹M%E~` NIHxuk:<==a{_.aqP(\L!wڙpƝŹ)eB|BVfܮ Iw6GaiC: F B#