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 hh1 lt ]]HereditarilyFinite:threads=2elapsed=16.243cpu=26.032gc=0.920factor=1.607zXZִF!  ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7WˮxGJf)&,(-%#U@{plho$ g_b&p*<0/tT1ĥ?e}%I3}Nybs-YVɴ O6qsC "ne"R4SDU@ta]ħ^Nul yˢEzi_@҆@1| &EzJ)ѻ0(LC[Wb_$GC R׻oBzoڝ^-q)H1]0b}xF_Ɉwe1_lҿN8#Q=󀌸nLF6=(oy >??e3Xlm9-w7~,q$C~BH D.] kU|#:2gYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{P]/-|ëonIs ՞BՄ/eFS@TMoO:/ļ>Bśxx`YAZlهsD[ՁHqM_pO4ϴghksD -@ƚi7x gYZ7zXZִF! Y\1]ŗXi%9(O3+9&40: r$cKԝ`{$^j{6e_:N͛O5L<_ggMOlصS =#L;UD^7>IOǒp2Cg4kwQ1gѐCz&)K|74JAK] ygm'!N~eKIfUdjO~ (? [W [X i4c޵H\S>3>AavG˫-}Ix w4'w('߰g^Vx )IA IZ\di'ʄfb*Cd75o1IGeHFD{ jF{D(Ph~']0PV[Q/9BSVXrw$dep?6uP.8.{4za|!)K\>N%SȔ] /&}q'?z:}mI]ГWbgcwHO8)n) VC!#[ :15p,?RWY U?JP"eOQIY٘B24 ŀdHY#貤}S]ߴ.:A..ʆ tֆMLU#@Wi&~ f&$]:fJy_#J BL_|}Ż`K`ƂE} ^,J~I2_ V'uQ@::;g>y739dKq pW33z }Sc6Rsn(t^6"|@9ea%p*L N0p;yRf!|֒@p7Kj$Mr~h(6AY[B+qҀS)[Q5Jg)2!=Z xRS2M7y)WUΦDEbܿ+94EE'UpG6>&9_BYяO?KD[o0%1e혣X!Eb=8;DMG5`_.!B.fљQ+)xMC= 4n\XYGwRA߭\k i3?ab$6ZU