SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 PC |4 ]w Comparison_Sort_Lower_Bound:threads=4elapsed=6.565cpu=18.196gc=0.776factor=2.777zXZִF! ]ŗXf[&!9sA~2jP;QJfCp+~JmUͻeqV}axHp 3@SMJrr42 i )+ĶO1 lӘ Zl F9o3` ˒H3{ue(RH#< B&5\o&PśӽAK!z]oר'E@(~I^k4€5AeG`g0|[tzjD=::Ils dsW}HSZ`i7Z?V@nCJ2^B@t#>x>բW xԪB9 gv4zmyGJcbuѤ*^&X3vθaV>cP$qXLE۵JRWO0f"g F!PN^xB‡(eRk5O?T,[oTJL7%A$pt֤lU^,p7]g֢FchImA j&fNd ͕$6T|gYZ7zXZִF! :l]ŗXi%L S# j 2& ]f6$RcnaVOu;Z`I3H$WINkYTg,ԇ3~lA."N-e:7SJVݼ>>د0(f8)ڬX R+X=X{)ɿ-}a(&iOK"O'1o=ŊHb,OBEQ24Ьj*$íǼ*3NzN$!S#VY$,2< €[0E;}IO;7 o\@< 4/'_.C#s&h`^i,-_n3 ֙(7U3~EW#0Q@=A5f8w܂"7.##ӏGSKt-pW#b^HI܈hnnےQ[j^xDOLBM9BA1&Rڹ'] m1($;oE)Ls gkݑU tlV!9LGy _ׯɒcp"p&O\j&)$#ŏq~uZpmB2 DnpFz'v痈&/IȢlgaN mb璸"TK{PH  z:r4 M͝R]W9(;,(ol^.Ž8^% t[gYZc3f33c98518ab33ba0e28327db27162d501adeb5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 f725914093267a67736dbf5dbcb2cc2c1321a276 f8bf360ecbd5e2ecb2bbd32a9dcadf52e7c80993 32cb23ae4c5bf4f4b6e3cc1b86b5d212db3818e3 C Comparison_Sort_Lower_Bound