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 X1 $4D ]/ Concurrent_Ref_Alg:threads=2elapsed=10.481cpu=16.992gc=0.456factor=1.627zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D#^O83g%cDHh]oS]lGʛTC#W^7^ut & e:I Hו_FvR.K튍3m&7$"-aPP,3f1AͤZ}@1zmR;f)FvFZ,bIHT NSgYZ7zXZִF! A]ŗXi%923T \ 5ܒ㧒s -IkUqo6k)7V\1ր|Kےb/E`m[uH(ED,2OVw2X$Tc3@iQ9SAIҚqpʑ1s3v@uP 'Pf&@AnnO6,F+2 zʁP>}-Ĵp#@IsD%7xSb?uJSOc+!K7zqiqsD#3 Җ킞ldەS<½Nj/NFxcr81RD> g,Z3'5)/ۊne=O`nP2usi*C Ƀ湀v9 gQ_,-%D Z)ojqsy{|%N@.2d'ќ1MAT󶿿bg .etu'.>w\[u=<(Su7500Q 6l@ɿĶR&SAƎe#0M{ nM]詶oiAc>̉_JsTR}'vlIzWC0 Jr:W~p EuN+%`ՋȬ]709lQx. Rmu\>70Bʼnyd 9_ԧ_`(G `zI,{~.aOcץ-}tHCΣ>=)Z+ӫ'r:f߀NB 0k'V `9/ZU^n%969ܠ^֥ccYvH{GoFPO%#`EA5ĀT8d6}0Ef\**.'p&0ʷo%J7 1K2wN€%K9&p+V+FMK'NPY ޫ[GMGVt8GTߕ"gYZ60f65c6a1c42689aa2f2a112f17020d284db67a8fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 1 Concurrent_Ref_Alg