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 rr  l<$ ]/]HOLCF:threads=6elapsed=11.844cpu=34.236gc=1.848factor=2.897zXZִF! |m]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}ψ7g*Zeԫh $ ޴HZ*V>g ąF49Qm6D.7 TCx!]Ε =9O+w>,$Ũ(;O=ILG:;^KC0o^g YT*vA[|{`9B{2,طǷ냖[p.C| z;E Izrcz}''5I᭘ݍ[i+@_޴gW_B2a#cg,C0>gAAjPwzzn 4މaD8=lT S;qrxIhP R䎉K(w$錏fj;7u lM㩲͉D/ MYJF& wh )ڴeFhb{q e#r`d^-yTw\yu&׉SdwC\%jkqq1 iucdӊ:SgYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]w*p ec !=C+_k.Kn9d-L Q`YTōH14$((6iq ;O(eHӇ?Q*3♍80'xGw?|0=h}R p3a8űihF4fpgBL'#}*8`m/Fa IZb=)G6&c5u@C 8, ,Y Ӳx8qIB\ڌU&P85`|1˯/Ox/&>u/kdi|QGQ4!C<|3+-MBdA<:Pn6%'=MfXtΘ,pEۼu0g7~S}Y_hK xsѬwnA;@=gYZ7zXZִF! 8 ]ŗXi%92P I "ǘh?[ cdϳȊ6KYEu,jGvxTiYȷc<'uVg?bfG[ g)3G4H(i_apf-;R5;N0ᨻ_ڞsNe:BKQvq90YgYZ7d95b8ca0d0791260c93de57ff448b2d21cbe37abdf52547a2d1ec5238d42ba24f34b6bd872981ed 01b1e75e676722d36b9f9cab162375221e47186f33a9af7a321b3b2572314abd5b2f0cd62f2327de  HOLCF