SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  q3 T$ ] Efficient-Mergesort:threads=8elapsed=9.007cpu=14.367gc=0.778factor=1.607zXZִF! ]ŗXf[&&tS1 }`͊C:Ο7K $mLN{b/Eن)z~l D?< J~eu/*m3P/a0u6b436X`ХʪU^ċ_KHݨtY& ܡr:lʄc\y@X{'tT}N,W$F@d3;HC |"!/gYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-MgƅԶ&`4GŖW-O<Y1.db[jWQJ}YZ7zXZִF! <]ŗXi%>t{G/S !nrF8K} ~VxtQG/ړZ cd4SH֧fU )(Gg,SOt= Tl|Ģk̬EcBEv4n3/!x \&vFv?ln<#3k{sk ѩ̖QbZr*a%d HyƯ{U Gm Ze4O}B$@̫Čmy5M]`t$ȉ?L@* +TyS ԩjFiԳ™Wz3PGfO 6% >U;nVf~@{-s4&j9vt TKNÉ6 ؍vU<|4!!.<-FFD'XV;$T~bg $-,wTJ#wI-#yἅK4pbAx›B$ldds9龏+LtS4`Fda}TP>lEe#+$ [ КN6F9[P[.]84EH:4V}͠h0[s_XղE143l\H1Fn9)w|QM쬂F .5(?oښ0jQy$fm2iҨO dz5:l_ uǬL>!䑓<mS5eu958JfƑJp#ƇG@YCVtl8(e݌C2>*hvnq4ݸ53YPwC-*ZuXum S${5)ӡ=nx7M} CO;̶8.I>`ygc!1lO)&jzHF.$77b2n{lL@D1mBسr>l3H$?UJD& aF!ՠ.Kk͔)Y"}<~r/ACɃ@~yf8gYZe558983a9d224a28df37f6e48cc4571af6d8c25cc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 3 Efficient-Mergesort