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  O =s(qKgsohvʯlӦ cΎݘ'_*vMh'w 2:VVuyO\L79^%jjS:)9ͫp޹}RtMlp)ZVr@fj7/ ݌#_'3p GXBMw"7][RHi_r88k셷g/$9;E3IVH1f,h\g뼢KUn*Snfw̭OU+ Rm\mRL8wq8!8bj=1*q)D+z6 .As۹e)pc[^ϊa2"0<&{3 "ԜqeׇXW,b 7>8g{AQev)^W OV\9n1n\fAɑ}T Z}aD<>-ZЕKZ7*I'jRh5VP{3nB#Z #~XZnw ĉqtkGCv`aP";?@B;pA[An7dT LʝR{l݄S;v\v{tɅqfBsb45s.քnG= PNnÇE"Sä{= M}XkmDS^?]+Cˣ<=j5a<Z{cx1_J0=5BVgYZ7zXZִF! g ]ŗXi%>g;Bqrud<Mn BgF|2Y}mW{)](W(ipvoޢcyZ6#1;T73&祟 z/)*߉4QRGDZH77Eo Irʷ\G ӤĦ9ѼM.W0X8cw痙a]g)e$F6~B%d$kpeq.XI':ZcvdwV'i'NCV&]`w7P^ r2H>i2!3,@O̠e9!NG<@FeԬ䍨pÔA"pHR]Alj57 K^U8TVh{(7ih4twn`k1m?%Zj<BNI$Yvߞ@{nIhFV*5.[%5/e- ސKm;`5}zm%74l9C: H?6u/ ̋m\vwK"| l&#  TtH.'ϕ&'Я+x!͑¤8<.0s=Ylt^+6/}rY~?%7zjsNĀj졈QY2E?hRaϏǂ\: PGrmn\} _~`[q\c잼@=QFj)F4v;r`U`ٷĩutH WdݿN6V*-?3aU&u-F7W-yBPWR}_!ca/vomn!'yqhor~O c p4K^HdBPx@ܓ|xRl{T3"o#u0[1&@rtEBRXƻr!XvPD0q Dg( a6J.Wp~4zdw`>7_z(aL? /Erij6wDbc(Y :MGuUk9xSQp1.XRoCli|:*קsVЂrBvY'}ؔ(xw Z3Pxh zdHkM-XECiG negυohǢ]+`咋dMɃUU`(} l p^ ډ czF;k\u?9MU>],Jw9ź NP\ gCn alpT )qi*zD͘9qP)+ PH }lzUqb]t?gYZ00e5b71620e14874814a065bb2c4d0b77fcf7318767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 539b3ebfec6c0f7c278eaa3e8bd32b20d653efb4 418dc65f20698104fdba7c72379cfa754ebb26fd