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  # #Z3 $ ] Efficient-Mergesort:threads=2elapsed=10.333cpu=13.964gc=0.552factor=1.357zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{L#Qm,2K-.d)bi^&vs\uӇnRMw3)e0HaiHXCF0>|78; Q  v0 ~,4g{?4f^2nB b`-g2줾v"$x͈?:TdTYZP/, ԈgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ)#'OM7G97sXo+jWQJ}YZ7zXZִF! >V]ŗXi%>gRe~F; w;OȔʅҳt P>9L|Δ@W z7em-Be !JaҌ 7$% q9+C=V[#U8BXӓx=4'An`5eP_t-Qbߚ(MpJloQ jpڽv$9-$Țrx)ZO~#A l>ኁ.="W"bYN'[/PL V3%T </m疋a [DoԘ⟄:5t]BDwVu>Y|:`B)*~nW[l6DZ1]w3, 19SY*ThIZy]Qs*oxsMP8̓O3K~kOcݎnKQ&̘wUhwѩeQC4vGɞ-1$d:0, Dy"ǟԁxY,l  d0$LS_v@[a|7> e=7F$M%0 HPЀVM}TClnNdwP 3c>yaL1+`İ 5~d y4].;vAè(j8m~2-d!G2 ~f~T'2,s R@l0)rs+I`Qq.w ,DaDIn ]ŎiaCP>=츑H)p9{n{v$SW/#b `YDt0gWN)>x̚h}vd䱎9NRcɎ/MqT/³iXEf8ɐ݉Ȁ1t~_xr;_JI@7pW;;2E23"gC}m/x*|JgYZ8871b09337a4534d27026300a6021585b3722ed597833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 3 Efficient-Mergesort