SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 Z+  ] LightweightJava:threads=2elapsed=50.384cpu=76.268gc=2.992factor=1.517zXZִF! C.H]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o \B۞}$Цzp]@N؊QD!^v9Mic]l9K>ܳ1]ٿKYthNȟM5^x<˴rM)%/~2)"њeVg}IU)BoKSLخg֡\bȾ+^tް GCLM줛e)LzjE(i+aV9_z`QSʌoᎅ].+"`ȺyG#qF+1`rBṉ-[9 + LightweightJavak 僶k-!e"ɳh"BZ|($yDzLV!K֔:EӵV~P-юcz0$x&^z%&`>J %DjKn2L&L L9z%-gX>o&D:X׿' vÅ괦D?Β"0}udSe(+@^Y9q:Iퟂ:LْZ`Ea/Lc Ȅ'oO Ӵ .o*4~م.> g@mrK<_ȉo%y d%D7鑐4[NG*4XP"ĐEgiOOBljl ʂZyS]c L P405F=ƹF >P.aGY. Rdy5Snj.W/i*.FMGm@a>\D؊ Ndz'U$@6$f~!<$Q9pj':ԭoLH_"rȞ/qɪ`j&Nrz;:XP* TD2KPckzI8Р3: <- p 5s ƏeX`/<*`[gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9P-il<&tnsegR Eq8 r%˪YlD]R)Ucfe]M~80p$A̺.`LUl"gYZ7zXZִF! ]ŗXi%938DM74G*`]cuM"6@" b N>tp"e/ 6G]&H@"RѢcn|AkGøv -Óm}'5W/N \a- ߒ-DATN95)Ư̬D]w֐kAk`~>82dD^'ZXQrm^}~FM}C歗E=P:6S6'# LH!ԐҁўMyv1M{?.^vs¶Mɸ|]0/NZkpzYÛHS~CD Xoqv:4.y[ =/ >T}eq())D:ńC;Y {fM ecPHl>;ܮDtIL}Z ʆ}H s-1xeiH(n)U||(nr?"`+fB ].!vsU˽HCR+*pGV/Ιӥ^x}-aL=cdtm3%V?V$c%2dzcg2bB{7O#|3 "SFjG7@Iӕ_]JQ`X:BN ^hqt<6Pgݖ@aݓ|xvE#g R)l~X8Ω*iIVT9^7Aԩb3e PyP%o%yKLHr^ey ߤ=DUĈTWT^R]-N0rmI0]@>~IK ,ckbt˿SrR/1‚' eۖMZV,) 6ź\١xA☘P\8_M`wc^57yoZNP2l5o( [يI,+SviD>{Y? P"|QPm@WH{l/܈'HCsgW4"3G3O ~t:qaݡ]tB$yfFuS R(dG:m̀?G?Y"^Gv꺰I+ɣRt7@#?L=5X&@k!TݥtLC=>LZB u+uG+T@GXFD+9CĨv1'Of_׋]N K4źƳpھ^#BRg5Lb*/Z- g$ vf1; !/׵>\B ^C UѥRm } jH[j~҄H6jHǔ|]H M'$+}AMm%sT#ZTzE%;6%kۛWVZ`4#-ؐt3r_,<Z-/Mƽ)-s2Ca(#{ Ql?+jrh}7QݓzUf^2@Ysb?s@&ܻz^&Õp@nE~(vׯ BXA=p,'AUV'nJo?A{zvN >P.7u5OYqim&qY6֠YӚʺ9%{حHmz dίk,u],1ISl?kKEY/{~]K-#[=ޠt%KB֑<,D,s\vhdeS\ViHw3\쉠%s;;ӹe#LGL8bAE/^rQX[n[mPc Q'XG4M Kx1P=N@%UUGBqa, \oLE:)eYG3ꨣ'T%fKz4 33L=&҉O;%6f)iQW"qGeI}C`s5xgJue49Y) W`${2ja[`B:ɴ2`r hdWK.)My'aK\fZ}3^ՅCADOf9y IߋK-U̢΢06|[R>"! [N3ӯ5 5=Sc WGއֽ# ,9B;wGs}%(5K"d1>ApEW &|2pMwByFe!IKUCfaZkYk (&y>3QEXSayB?XD}2Z27Rgr2!3NafȨ4R r۔L)&a\]c*T?F56f}}+.{8}@r]Y_s'a5"Ay>0)S@xP6 ̱! 5t4g-?j$y NR"*~!ُ\,yt9KgZTgYZcdc250e8029c24ebf7dac3a9e83dd9322c9f52cca86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039