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 j lL ]]LTL:threads=2elapsed=29.456cpu=52.668gc=2.336factor=1.797zXZִF! E{]ŗXf1-/6vRZ "@`$%$xxLeӇ֩I΋8%ۃn([<E闙]YZ7ϼzGdgEZ).yM3)ǀgt̀yW-O(}7[nT U:ڙ#6;܆\ioZQ̻|52bx eǣKvHꤒr A,Q@s}>RGhNȩ?NXnJ;e:]s*˻ocĦ4;gG;^4saY(.u1qJuܠ\qdX-6ٌ)Hwjл*dFD7H&awKMdM6s? "P!{8x,=pV"CcPn܊͈Sنw5٭[座qgYZ7zXZִF! !]ŗXi%92%*ԓ:L酕K?gsvU6䰧3.:-P%X_@z>RMc&ZWIxT I̪|;$m pQX( j`BXq"u!Z (xp p=&KtZdj53Ep*2_Q<\<(V- eX!"Erc%\4k*чVRDjLap8]n5v;}ѷFQ0**NmiBo8 <%WSO1ޣh&]n-A܋o$4AC}LWp ŵ.&ޖ ߶}egna"laךf|v]@("r aNCpHGT6fς,:w0$ʁH(5ԷC!j B] FkcLDM}<6a@xl%mpahPa[wbq>Z q!a?z LK7_,b- ]s3td) Cu|S21v` ܴm2OnjC͉9i86$<cwEEò5bAuf@uݝLm걑&Xj?H;5ث_+q|.%|rw!H;]H ݾQ{RV`~Ź/1WK㾵E1žUyњ0}'d-!v5S# 8hQ R^"OՅlTe/TC +z,h7V9w*pꐅh݃q+O=>Rtǫ ^ba)=,QUa'3# kW=>a9j ܮ5f8EXUq?ܗ?(rVx4"Y|CnFK=\8ڇZv\<)c3Wb?^)/mlqݩbpZZM-dqu*z#h=-x b@]f.G LM}lafkmT$Z)AJpYcH)]`YZ՚9֢ӊQlKGt;LN<}L<-o>a qXWF["*l8Mƚe ZK} k0Vk6p