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 BB; L,4 ]/]HOLCF:threads=6elapsed=12.841cpu=41.520gc=2.712factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ $ l BQͰw'jAځJ1Z*k זݱ8kZXq!{#gRR=2 ‡h7?HȮX)֕o'v`fw5ہ5Ϳoo$_88.<Zf j+EGZ?cB:v1\ I7 E2DE':dO>⡏Ӈɇ9S2]k1{ai_77?lF5a&yGlQ:B~F_)qr7\}?=[kUa[ڼ >{ԎPn_ya[Xc}UʠJ54Z7X̬-Qrӷ7@?O)=\n*PG7 C;~1U_-[GnRtlӜg:HMAjH+.(V$ bd 5w&܆ -mM09+dѮ,Prkl9|dijB;:D;GGc˝0&:앮@~8z[{ӬrX 7ӇI~n)#Xqpq]Xؓ rctDO"5 ibـI"+<@zafQ*8-Ҭ"02-tviEwXE-afoB|yd{U& h}yQM[}8v*fo~π CsgYZ7zXZִF! H]ŗXi%La#ڀsWD"6M*WO|I&qOdNڵqI B z3"t"?IU -UrvY#>v?)G`4lz%))pdB;sSFXFjԚga+B  4 iY"Ӛ6.7;x_A%TT8Tee9"q޽%+$ Ԣ"ȅ vf%] ڃL]IDJS+2j}$^WA !iQNk݀b2CApk }X9wU >kAC[ x(="& |1l1)('*Ӈh;br>4hy7NJ^Hq~WvydJBMpRCR^G۷AzaXuIu+K T["7$Tnsӣ/B &*]e^ d(;ӡvmGU1iCԎC cl4Hc;ҒsQ)&QGB16AY%#V 0L7L#|.Ο]%ck? :A$ى!_ jٝnoۖ893qCt -z̒n\1y3&5+ɇDPx58}vҽO,QLOZ;2Y.I^źgA Knꧺa09q ! wV-pf=@SVz KQU4^ztgg3TVRb6 {i3-H3 :8T"%VɏDf^1%hQ@)9gI4c>!Z`*scam8b1YA42.|1*Cd.F5mXm HV O` ꘶@}T4idd`\a`\6gI; rlRŋ5zbЬd 41ZTRF;|E$2wߵd mHZgQ [,.{\+^i9pN3EIn}'?@ 1sjcSg¯H-ڢnNW'Uμypb1b U`?{T"XAAّs~LYҚ!#HNh|{7g5׻cO7] x!8Leme{i{bfe!^,*ERdt5#EFDmcm5ͫPq㇞4sJQd E0XC:~;g|zCdd&'w^qMiZ0YQU#Xȅ7d£/se%?zev!:5uJC(YHRe6j'ZӪ nFܱgYZ6dad9dbe823ccff7721d657f2deb183fff19c568c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd 18dc0053a95521338aadd53e3b70138a41dcf2984b9a1f00d3b117dcc37d34818e79eccfa3daef59  HOLCF