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   _ T| }/]UPF:threads=2elapsed=32.491cpu=61.256gc=2.380factor=1.897zXZִF! Q]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9H^Wip(Ӑǘ_o{tt<_ŏ(J@5kHW2x+(@BGHhQ-8/OFx  UPFH%"*㕆T @w֦)Լ%u73bLwnюZZ=cNHqo!GۈP h,~T{-2M&WRBvk(G|DZ^K!ng[ՆJ3x_2 Ih* 綾eWʙEsqb#A8,F\l*Mo=CC̊E(TV5X&s-P÷o Ե yLJTޭPfp_Ԛ#%v230oan\147E?Wt]:5&ih5F!p]VWna<>z ̭;|p;]M3p?OgDos5QD BR9Wߤ_pq;m78,;#EG 5e|KX4 ,eڴ\H'P{~` JPRTf-#JRO6 {]W$%Ukc7x6N ߗ<]@kځD%/R+т.! A9;H*++t@*k-]Z%d#s/^u5v=$#R $`w< ԇ` 1Rɱda['桲,oZί|3{ {.Զt;4]u__esK5͇fF'_t1H51KúRG<48[ҙ&l9]̔ɰ} (!_,`ߍf}feθe`X~^!=?_,{thb>*sIGURsLJ[Q[F9ة2 m@B)b,4E[떴1,>tOX媌vJbx/;:G5'o4_ _Ѻݔg!h:6 yq75e(;½3St'cRta` ?)0b@~P(ԣr ],S텵pp,f,F#io^3\[(r]^U(Rzy6< JT`43ý(hjfpy+6ZGFw$~2өT 2;~k {6\ϭ)$]\G4IVlhz]TK3ܔڂژؾW3?zYb,QQe&JQj1Mr>,bM@+%2YOQll&eф/4plӚ0Dڀ1ppďP : iV^ӧ]?4+'ݠ#"PQ)!})BhICret(|izTXfRѮg.DWt?7c>]x0WM-suK6VQIOQy ph}|4E>Vn_]]h}!k Z?"pߎX`;AqZ &s7+$HXieTP_ZxUd(|ht훮6kj$u9Dʢ 8+U6F2jXFLUcP@,\>)G`l,