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 J' \$ _/ HOL-Matrix_LP:threads=2elapsed=22.577cpu=40.460gc=1.580factor=1.797zXZִF! &]ŗXf1-q恈{RI $ϭ N/Xt@UYt{ A {~պed $}%1?ejf8Յv59Z!33x:C.UnBe_ ' HOL-Matrix_LPv*VcׄHuvaYF6Ge۰{.B즉'Z:s'ͩb:K`AeCV!&3)s>iЛ<^6Lt#%2R #)@Q&$ yީ#,K%H[Gӻ~9\x40Z>h 2;$| ?\8Yj#X?=+\ :CWhIOJ8CwC4Ez!%})3oO`/|ϟah-DpzܶwH"ES;B5]'_*Z {G$OJP\ǾȊƶi^lh磤Ҝ7ĂhyLv=DeM^N5R6oE6 j 4z~l}'hW "r2}.$§vogv~劣 y*D*,AKI^%I| h'ŐPg1 mRM {n_y> :AC׎ DtŬf!|_2[VSA[h^o< MqVRr+ - S #(7i%>Mm21~/:9f/ >\Wz ko[\ sC9#WETA WMm"˩H f+JV BdAe@,SzoƜ%+ss' m@X,*.@,WG#վ"3&>$@1K3ɩrtR'd)sjZovEQcp'/U!`#jHP?l& rEy>ГKp fQ15{ey^"NiwNJ|YI]L>Ne[8X }A>R RY  Q "c ,=x,eRtXTTHPL-s_pA qxQޤ.-jPu k.֎_o"9=G P~@>ٍGߩO1.5K:Э,2c`FZF0ُ҅;X^XkAڣ/#7%aQY&NGEA;g 婐GޟsMv,N~` N0p~ڴCvO!M-ouPnbV 'v C++y 'h O 44i3W䴔)"MiF6st , BwQ) 3WՁrmGڧgA&@ոk5S_ <&eIT‡, q[3DQ uBزg#IfE[{ǻйYe(8<R:,m>?(LI@!Jewy vF#<X#Mx}m,Iʼnrܱ'!Eu~: xMqml_S?۸(p[.\6AP a½kF,C[ c;~(;.Ry^c/) 9CʠU>&7!hKwKHVYhkUa)}aW)QHSyfpf(r-;2Wɴ%6iL>S,j?äy$;Dt"'Gcho=>)^̲@j9"+9cl!Cۛz,=I;WXG[;-H߄@}uy tA{y7q?j6!XE:6O@ZO y0AwZa[@q0Oaz诜+-X81IҸ|<٧K?$u0bcUh1u"yKgurS8=<+j&]Yja*s$O.(@8uC7!7x[P78f"ӡJgYZ7zXZִF! uK]ŗXi%B[x-Pf'!+QN!@%v -0'GՅL;r}Ƃx\#Wt0U7cc]śH[ԏJrjd#!3j^:[ε\N-YXL(S-T撜L,po oo!a7Xy~/Vim^O@ <+:h !jx)xasC嗻evd-ŠuB\E@j%:GR9]~]iJK_W&,UԋI`l\sqUr8%IҒ3~:aPl^B/^ڔ "H6`+pbl:|4_NJD,:9 7;uDZBiM̈rؘX[!UvS 0,j>j4V6k.lAYotp2~"WG[#!fˑAEI 4F“cʇHb5sz .&bm<{N%f:qh