SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ]) Dl S/ FunWithTilings:threads=2elapsed=28.583cpu=48.852gc=0.240factor=1.717zXZִF! ~]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZD[ISnj F& ʘ4WC%6'5.5"ąx/r+qyt2NC8bP pxCsc y&a2|_ۧAZ̤5X&vԭdrF#;Ra9II/O m: ) FunWithTilingslG@HWYIZ 3Ojmoq!Wמ+tZM]cfh33hwM@uT0ZK\j0^z)rozLKz 0~(1&1mϕo;uDN]+r2 Vapt3(ދY*fwJFuq @fsv4 6S%J~ @]|//vtbPXxfjq; y?GHg2ڝ/07]U<( iS9b$lC٢@ewk[;Oe*tj q4g nn}-4lg L)!Y`GWŤT`&:5[o՘)NJlVS'}eCY45+@*TU#Q-uP/5Bv)2#HΪP ,Pz֋bfYqG4l;el5G./"ċRϧSGGc b }erZ3c#=?gMٶ_andu ~o;)!&b̫^_C%} 3p5]pՃRPPn}+IE2 tĚQ