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 C $ ]/]HOLCF:threads=6elapsed=12.684cpu=35.632gc=2.060factor=2.817zXZִF! 0]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0W/pP leNwAi$a_v.4 EGq9䰺x&vsκ::"2&X ^P%ˉ981{]Ъ wؔ^FLJl(3?Ѩ63zP<l`]}c>:)!uxԮp~IZat+B+hy^Bo鑭lO^Se;-ݟ9AkO 5{lOy^"䍇dHVZ` y. =gO[$S<,A/O*-3Bt0wRr| 6'!Ç)23F{\O_z"dQ( >,r7 FYLF 6XU'?@i6J/{ͷf]V䚦mtZ>hh÷tDU }~yDI,Ha7%/ht6.Zy`G5V0aByŕz=L<2N.d)$v #X"-;gYZ7zXZִF! L]ŗXiɟ>Ӈɇ9S2]}hGӭ{z2S^l TM ;)~bdZOT͝K $!i6Y, P2^]C$v{J4"kr[K뀾jOoUgaX?%5.VT~?YŁVL}D)اMs$@?\aQUVQD"AP4HC ("7.Ȏ *=(+k+VF&;4OxYy[эbS$~:'MoUuI]B?cZ$٢ݰlݳbu.1>}JTTf 1FpFcbԵ)O!`^rudOPtITP3w_epr I(?}F.ozCRTK[!ɽՈ+8Mfņ]G,<&x Y6#VBd%"]E#N~p606f>|n-~㸱gYZ7zXZִF! =yz]ŗXi%;`jrCz)D wW,;]@1u-tMEFv [|<'x GfC3(N^Hrc" ]Z*&o) W3j)X(BI ErWa`dָ{󚤭ckOq2[_1Tw0ٝ+܏%d[M`ؚWeql$Sa\V:v co WJnM8bwR`"LW!>\GL(zBJ+@8"t_Av@[Maly*v;6Rs3{h5~k\}*Mz4㨘taN~"~Cs!n]GZw?AڀcK0y8{eoldpyb._1ud: pFO;|j"m&VawOvV5vHE$/ZF"1UcQaf"֑tR`D۹,&u":Q~n'+1p0Lt^H}\ ";$ŗXM^ xPڧj/n/V>tWqveDhp:ʞcJCԫvPZmqk局mIB]~PZVݾ#dcns VxGXD~dl9?'d xbdGu][$5:Bx yV-87)VHBiNۈշtɩ/c)jn?jY2󾲢6}8Ɋ >[ @.e49<Dw+ӳ $/j'5eↀB3 DcH3