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 88E% ) . ĤpէC42wWrj4G7u|2D%A^Ab_ߋlWvCb J%20Ө %|ϑ[ |Lח^a_,qRN" aJ <*rƠA J%2 KT6j}xW,D,U0r֘c +wmr#+";ٯ:xlokʞɔ `:K/lz +~L8k8SˡNjvhpJI-G"JvզkTQtҼk$mi n)"!UgYZ7zXZִF! ]ŗXiɟ1˦rG1)Iu vh) 7UAsnuݞy: Î7kU6=PNBefݠjBUҔŚL@5i%@T=%ԕ;Qh +Cx/wz )Q'gElFgYZ7zXZִF! ]ŗXi%;D7QwGtnafxVP]-h>D\ }%W hٰWqxǰuW鴱 > xCS+P۱XUZiGyd՜7Ԙ YϦP !TY"5k$ ޚ"OBD@bifZX:B1(T9N$++-me ?~Wg3\f! 8gx ?պ^*ˮtXL>͢loSV#Э][زwq}?pz[8oA"$HV@5mmrk/OVadC*f^.C) v{o.?HWG>t=s]w,<ɦ+XuC5]@I{)Au+n B((Nz'&de'4/6vF@]DjPU^Gay?+9RfbBPQ4gîb.MU4gtYT2aEXyyX fS\UHv>{׀U!fbc^f#..됸rydR} bC796TNq4xP~tPC<# I:_ҏL/u7 0"dG 5T7 b9Y7_V8U{STyHiZy w-]Y xڙc"[)+կz9E 3S˪Qc~JdVyÈ桉FIX=K\|UΑ0fu/Aj"\T܃ӭ1B\BRY]h& _xB%Vj'W"]hFS @kDmbo&~[ ̒miǗ'~UK- 1Lv/E$e+L==nz_fX߉&7` ZЈ>\_x$%x*#3uz;dQ]h@x}_W#BVP>`C)rDG} +$aF|lOt3ApƜE$}kOޓlՉ/FUBd)@ ""L$lVFLHExt'i+\ۓrMDL%R&:UsB$v:qI<,*%ݜ$E5}XW':Պ 7X߻^8"#I<2-˦=<W(3p`&y(p9h+#1:"dl-kщ 枤Ra7J,9aT[TC˲0poP|M%5d , pyQ0' g,lF,q- %x zA0209 Xyss#APV.`#  z9Л5Ô͕%SO5QN$-ĠBI#:,r3i]WΠGt[$P1??PAujs1˷dmwǤ~b.Di;VNf34kUYa4tEW5vc"R:-9UG7 a @qUa7^/YEGޯ>2wb_h˃NȪXDdC}$w ts} wH0˛ %h| ЖXEa/h9yx߸$ce 6$e,Va]rKf97훪jW8XE'ysk⭧IYQ#fCp'H yM`m%aR0ތdǾ0"m)D585 *r4Yd-F^m8g>vz**h^x4V0>tFF+gGQش|jG`8%E0x]5[+Jc]ťvC03!ի`I G)$Q)en+AM4rg9-q6.oY9ignDAD\X?`d1 TU% $S yԈ]gL#7Ft9 db<4,.uWeX mp;-<=a?d^bJγƧovOM7~dz -rĒڰw<2@>7\ mmǓFBdv{9L}W)*رgYZc3e0aeb5e17e95c7aeb2e2e99d49b2744be5d9e3a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 7ade9db36f7f6853ef31d44c4dac2bf19fd279bb c884695405f6550eb751429e1a91533caf68c88d % Stern_Brocot