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 ' 4| } HOLCF-Library:threads=2elapsed=13.162cpu=25.428gc=0.888factor=1.937zXZִF! o]ŗXf1-qN ~mG&rVpbf4&@`ꆜSؗ^?H+wM( OV]b.t T2c1캚gpiP0]|_%y MXgq_Ɓ؞  ' HOLCF-Library搧g*T$jxhS?,vV9nDq6qT/D$t0*-<:j`n S$˾/Õp̑/IMY&wځ=N'=U?Yu6 Q>:g>-A%62p@}@ ꎃ,3b dge ?LLxoɬ=}f9ojUo5?\/0{Ànw+ah/Dmϡ\)I d3>%,N2/ @SXi6<)2KLX nFD ["zlڔ'RzHk8-.3P.UF"~}nvqsf>V;tմKݏN#/֬N1 AhjJUԜɿ6C2#@__+;aф'_c;yN3#wFpZĭ.~'G:q㰠w,l) 6Ǔ;:N3,^}-o4^jZc}[P(xa\R,ܟf9(I{yA t ;܃4Veݭ6>c ]h$<y̠)!G~y#,䵟T{O M[m?!f#8TRiދWЪC{ĴOm8-R55kˢ:Gk]`bb*k0{ cgV tp`P>/J\XT9Iv_"]stɐqZ5zTCeޝw]\l QaCs@hw W<$(I SMTȖ'(Bfl*0&n~ՏAcNJ2AR]vvkS$3Se $CYE C=R}1T C1+mkpX!N>8R#.)*re|-§k21XK*GӮ1$b:m­R1֡xZcl&jr^UC bNot#Mqor"lpi|u&ϐ^y͆MJ>Zgߛ o}BDXɏ2u@(?n8ҍCeu'2Y$yj5 6f#])͂& /cܭ6Bغ63c%DOY#<bRmր``SШ<0?9]ԯuXgkxkQyfHJM > ZSKC XgYZ7zXZִF! ?q7]ŗXi%>)1['צGz 8[ԩ`8ו\">~: m=ZWw o?y)A̠fx:' B]ВcJ_f$s-'h QdNp*ְJ/K"fQ)Xo 't2k|K'R:@9nR8xxbC1H+ŚӼ84epy pTpJPjZ"vzYGLB͐Aާ%(ĆB_H! d@II ~-^c^#UIlFSDQp\hɞ˹:b1MjKG`Hh Ia0 1Bl3G)cp}$nNI*3y c3v(lƑ'o:褍dqZEsD;B1gP4e7"МP&qͣ[(!l\Z֌Bq}dj$!ﳄ sLt=VU\*O*|V9ذ& mPXE~[^6d((YXƾFSkaV"ゕ#bĂ.V 㯪QZ ,?&;Mw ip*,Z|>^iSOppNLZbUQR M*&H?P-J9-'K{v :k e#aӚ?,몬a(0B]wK^hvsK"Xhm ;yVqbn@w9O !a dkl틣,YnL76Y>qD᭔dt 5֣RmyT^=#4.><*↨?9Y݇?4^΋* íO l5 6"A`ibE)A$rJp1閴dT/k\Dp?<+2̓$d²S4~jgYZ0ac91d9789f83976a5cba43e74e30ac796fd8c28 11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c33269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b 8e257241ac01f8b9869c189815968e93197fa288