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 P Tl ] Corec:threads=2elapsed=60.358cpu=87.548gc=5.604factor=1.457zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$snfoUdRQMP}>3,V }ޯwEվ\@I#>5\G y,bEغBǚB>f%|'j#|c@<)>ʽhz~t 1,B?2%J"(!E/HhE!LexyԖ)52"x dZ@XM^c U0r£wvx/L8^Gs.V'+E˃0CσXtY^~l@CRMlj43ވX"{NroJ3y@#SWrmG@%)51PS>\=ߖAC8D]j5:y\/W*`dp)\*"-':$j킠A[% pe𢒤5{`?3/*y.?&Jk p]yRr*݂};lV؃u0jfc)"\;W7bo`|?\r JnMAg {"T 0$) V5dz2Fa :6y+F™&qPPSoDMjy Juj\\ tM u)y3Y3_%63{Mik)ȦaxWEophF5JY$1>[[’a2~CGCPC=,;i.p1x$nݼݚK/Ŵ3h6Q s˸jqJFll*;0X`pKP)KlSJ?^Mfd9qI`Vd jKh7 ZSXE{NGC;i3H^h:Ҋs+&+̫qJL\ȓ̀|[dAU()`JTd5? ,G<)GћTհӦ&Ufj(XY.س":ZŎ{M2 V41kAOhuxExuHJ. @F5.mc\9OZ~}c_4QV<)NM