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 * l$ %% Topology:threads=2elapsed=5.605cpu=10.700gc=0.764factor=1.917zXZִF! =y]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C#~J` @뗋s, )_F\QA\Ve1H]<{x.;z9~SA1 }'Ff$#ᵎchwHC1{x澌$ *q{ B08,-,%3y噷DGCIWќWW0VBdۍODdži8fb̤aw),hء(yT*.u`Wowѻ|Y^ Ez T#vKOa(+*S:~!OEg$A=c eYX'w*B/)p$& p5ͣm'GD=k [Ri4\LA   TopologyUG8:U>ML*8ok8nb䄯<Q"&BS\PPYc!A@gv `GbP9@>eʣUӢbG]YrIkZ:ptH\Q# y!b'v 83u:o /x”4.] QK34gjV99v3MO'B9/γ;=~$yK;=uRttPEwg*]|x?$DYSH]M6,AK4:+x@=tWkpc<<}`l._A^1] 1?I*sˊ56ܛg`Og1(Z%ll*8oF_>.΀ZaYҋ AFCn 'ӷ/F6C-tQK7jT,Ul oE>}l  SF= AQU=tshw&f|˓iF?f`&ԠNG|NuP,-?oqY#iTʽ1 THxYrJYc\.vfc'VA]5k}o^ێ2*Zye IUgM;Bjk.q!7_,>FϸtEk"~I" FK5ta->3XXn=] =Qתsrs|Lrt}8gζiJd3D77W 䨽v8϶BCKuk$j2 z)gYZ7zXZִF! #]ŗXi%B׆^AW*ɜBO+A) |++XiqC{Z߶BR,7{sWHMlw[S2M. x@o6s )21Qr[&\oMRϣ||/ k޴eLvO@o"2,Kh@h;yJپjEZcD~<MHn:S(U=/7|9qad'$6㩯Ra3|tW^WY˷mHmQn(V?q ogdϱ^,YdK(IeGhs92cHm6Fx1gYZ11a192dbb9af7695fcb546ff21897f89485e42a7 3a44d49b376c73e0a08962824b934de514706e09 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 30863ad5ee7decda41d3ccf6e6e580bd399820b2 0b9844e3277eb73743acdab86671658195b2e691