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  ' L ]]List-Infinite:threads=2elapsed=22.264cpu=39.908gc=1.856factor=1.797zXZִF! E ]ŗXf1-/6vRZڕ`0 lO"Eu"G23gYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!szܵf](&EwϛzՒwN Q -G4{Jebۇչg) ދD*B/B>OXHZw慾?pN/ѿ;vTƪ?X?\/gqQy(q#gYZ7zXZִF! ]ŗXi%>ge|;TڦnFE2]`l(76uUgQG8:'jq,=>  tqG\|V /aqY:,Pu?Yo^•?~}=9#qkբ8Tɚ|`S:ޗK+4$(9O_X^e9? BѬ%%lCW\K˯1&ŲH`C@=?_M #JzXڶ/8KqxeP`Z:?^GIG:P' .}>MP'p _|{щA^]%1.fK}!H Ž@+PHTVũGh#FCEf=uA7jO3!Jמm߼,b؉6s0؄j%,:ջ]!tx5ܖ:<0\S{O߾@r&=Uaή!i4SctW jw3"|E_i7m|7>u>̬@9qBffR D 7j8儻^j5Y\"s~-ǜ[ oYH21rJہ"2̐WEBߝ!a@>ǚ33, 2RadNp~$Y8X2!^3ֹkh]cWL](L+b/F֯!Mxv[/1(Hvf38ُw_̆vj6s{]xT8Ա; /(?9 gNҤE~$!)MQYiۺv"KJ0nr?*Z`$&^ %#1:z!~4quFtiVin+Sį\ S"s:NUfH&akGQY<6LGPs8ݠ>(%X5wpqk 𼔠1W/ 27a0>  n ECVSco1Dm1GGc]P,Q̨cX#'mC篏)OkVOԎNOtjg*^:ZM?f3no2*Q1{>7ܖ_c &!rmehDvKy.)es ~ë?8>l*#S'7u. Aˋt|U1cju~́^/Wi\,.ET?eZ IEʓ҉WB4aM0fA԰[SA^iYh”U荰„7퓄=|Fsfݒps#ߔ16u3 5XzlPj2>O{41NCr=/kj$G{