SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _ _ #4t| ]/ Statecharts:threads=2elapsed=66.963cpu=117.580gc=3.056factor=1.767zXZ ִF ! Y] ŗXf1-/6vR[]f])_١m{!q,a\N؏qb%,_Ձ&bJz.@H[ȱݻMlLeGqE 솙&z% YLI4^m.J9m!"(x (K5c=fWײ,mJƸq!+^.O_ōZ_`P!Kx+KH GQ?UcBg=(VYFgJ*1PU^OZ(I,/ite^AIPQ_E q3ڙ/5|{|d+Xl֜s-|֭[(/:(S۸!jN_?'p2/V-vJg2ck w-`8QoEvm&˜[G(~kK"-XJHdR8b{^Rhu]NB5TA#F8JOIkzƫ5Hi*#rӐO॑q.%KW\ս״h_7H*Vq`->v}?f+7o.!wDj 3MxkҤjԚuqn*8}=r3TUDRQeÊtLJJ oT4q,;2 RqxQIQ-݆HP,+>-5=@`^N6a#!ߞÁP `,5s6Vq@ldOot3-d(7=S*,Q1>wTbQHQE+2KLCɝF6$?k(%;|֑J#c -G-r wd%}rF uy)FGiʲ1ԘBט̜o (ѥbDuuޭi@ƺ 8q7[n|œU{hG.ъ0ҭ m(5|eJI'4\\Ovn
Tiь*Y08uFQ4A2eh 'Ɨlkh-ԉ0.S̙oAM:r3Xx+
.2TSqG*>5諿MjgW;ç9B֜^ZY
#xQ95v'^^+Ṅ\~_4oWѴ%T#?3Wyِ6S|4G>v]1?l8tH]eٺ1e}QeF߽\߳/|{m^MJ]r0
bvԖAo~Q9ZQĬ 6-4-*b:
4,(}a:qg>a1ON,KyD▶Htks.#OZ ދ4yyi-bH59ðCjf/:se[d g=ѠQ
\g YZ7zXZ ִF ! S ] ŗXi
# Statecharts ɟ;=Dc+uK|Vʋ X*x{OP6G9S>$PW"Tw Æj8Ŝ?Kعjbxl)5 ړ+` zcc68OLGbo[NTPK@ [v
ع10gJej
,hX:#v7SƸowpX=ņA-4s w sg YZ7zXZ ִF ! H7] ŗXi%6\|}Emf#jkI{ 67IWލott&ke4-u
YOS#EFWg:QgROy]ݦۙ~Q,C:IcrȢ8Y,ĠB;04KI<x4;ˉ0CTqU`z\lK-^_U|m/2Xɧ)#ZeConڎS~q`Q~<Wvs1IY8P̮SpFf|LQ3PBKJ~6HiF,ĞrQ+Pjm 4;^Az4fȽխs8(fC!Jǭ6.+#iә="z<*/ͯ۔l+ߵ c#