SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info cD| Category2:threads=2elapsed=19.565cpu=36.924gc=2.388factor=1.897zXZ ִF ! >] ŗXf1-q恉:NCG 8vۗ?xWfkq6gIu\iQN~v?-'r}͎`{eR0uBoHwμHѸsW |K1|3rs"H9wa!c(6=xbJsN9caʡQLk*D%%#B Z |&{kw6-b֓OHeF>yTڽBldN Category2 J kK1~h{}VQVj{v((z/bI?,ddyNUSB%s\}SANr:r٘GU.H>6fcҿ@拎<+YCivYђ{Fb6^{ ʦ8wOWkZ[bk݂%Yu?4M>KZv\b@XAo. DAykڱ)!)Y,D4fwt<.tEkOk1b 1*P:xH^`ihFgv~`ICb$?.C,扖R&yvAc 6Af;_^#X`yRnKyӣ} YM(îX6dvT'n18Ibcc$5QoVݵ5Aa؇df$3c;2)4 2"ȍĨG1*.OlZaMj% |`ۥV: \OA[=[J:iXi;RLJ]ܚ>cؼW}* pCTi<<~V#uIp_#c,yQy};M=xyca"g/(dfeaUa60NrOzE B*($f-٤"GepVu̍nO8fy t' 'D_{9Bi҂E4Kj#' YjRgm7',@+GDgȘ2=Do.T"itע֗ }ӈb% ZDr>Di n_*Ibʐ|ҚQ)Da8X4x!b(љsd(6;7_qwܗy[!S9@:|E=r1C{Sd yp{%X%Ae<7˧>GVE Oc>3gzR((K-p!Q.ΏJ\PJʡ>#`g8Gq(2Xar&AR<.弣O_\MG(uckQnȥiI/ ~aQ3#!BP?A@.٥>0;E 38ȜI2 ~p."kO?3+s<}S`i"w#o_z_O5ˠ|q9bٍ%1m?ػBZ\ D_<0ENi4m^Pz.$=fKz@R,4ǕYe>^q\v,\ %Z&}&9`*Иof &Ie n4)e*@\@FoV\Ӑ?tb!tS `L$HB͝(#PL+D&<%-.S)fo97l'0X#;Uط$ʋM