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  q! LgBtvDUё"ZtadNFnZX#~{.ˎUcG_{ec>$v5n=S[JSV2 UfEnPG{oeDA\} )*R Fw,P7px"]X^EeXf5 ٚaKuaOI 9Į1Su)x߅H$ tO 2$SzqR詺 Fw7 =˾TK{qdcxCX\/#tXfsx b\0da7NV|ՇylكSu}U=lS .c/lJ?O.4خx(w1Cȧ^u4 YHOhik}jrΚw 39' ӛw DJ Xۢ_p/xږ!i[?mH̸{=g^vA} _zx%pk!ä:^Ml/PO*Gx&ħD :.loܞ^άZ|`q҉qfHvN~b519r Febݕ-ݤ;K/l EROw#mݍ/UQΊ6 E*)5:B w# \UIu-^L';1ΤnGT a%U`=U%5Z_S /dڤD}C=c8j*2cc3M4osOϋt!d idWVJj:>ǔp^-6V&N RhKugB <D+H?d^^Y#1lL%lQ 0[?6a8#J'm|=k (Ey./jYp|nejhBqخ-_T*l1vz}/q?,؊PZLDryаHͱ˿ON3|ɿ:n蠠V < O3j(.=gј|^8Uh>"id۲]7̅y?j+C_M"bz\RfKj-Y)$)!䄕 Y8_ {Az2⢄;l&(_,%I4 zc Jc{X|c&39l7A9 8Qmcar_ s.r=ll H٦t ʼoj'tm&PksrwCgs70"}`@oNw[jYc P=en[ hVcizd;i"c&'ݹ}p>pkz6~:i T6"n#!СKp',n]ߊ*^]ncHlx']_?酥|gt3@1vچ@KeaC ~q q͖'ZӐ=j۬23/ #] 8bdzAX3)9VQ?f9^5=Y^z:Ii/µl2 {!≱yD|7)gcd &WvP1K"PBroolgGUĤ';ԛd7vö4 Vk{.0NZгg`8E<@c*i3>oZf*oGI%Am uxLſ}7bx#/QU܌KP59F\{naAE*7G ~F0۬Ճ,<6m F7sS]D@p:xhqh%Dڴ} ʿ,F@mZk Q୿uheC+\9EJ\A&-hoyhCh]UBJofYx:64+.8V%W9%4Phf#_ PȤpQ$ST3'-Џ76x73\ } ^\&B  CduL}1įd5fU a݋ão5}ƗnwxM^]^]-~r Ɇq/,K.YG4N[,lVidUUe2xGȷ"e7B0:ȍ+jvv~w`/gT!7l]<Ӷ6_ g2\>eya[gP2S&LdwΊqȢ~$˭e͵꫄vUNg ?xCuV D#š^'DfZ5d]r}F-Oibc]]yw0N~GP|(|auڡ%>/.J5 $Z~=k{'% pB 7hp"ߝ;(K>B{RSQ$Q{]9=Ŀ= 7O " awKOȰ5ȢdR̻ 5@{E.ם>*'DA?z?kR,yTϹ]K@ v!W>?&C|6F>xWBjQA4]1xR6-bfd?Ŧ_SllWEp~7MRCERuȱ&HsDHu [I#ҋ"ǥi(bVz#Q~S1cB0+%Q|~f.Z1_VeM\J~=yd'yJqJMA '>C&hRj`CWs | hhX n9Zr?fo8' z%{g@G󸀪Ts77auotJ n)ITBIb)Jvl,!bpliWD-_Ws`=ݾ+,`Ϭm]WE('\?\i#&G߇HSrrןUSf~gYZca77ddf578a2a7dfd602ecd11588aa215793eb6a767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0