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  4 4A+ tt ]/ Decl_Sem_Fun_PL:threads=4elapsed=25.196cpu=89.568gc=4.648factor=3.557zXZִF! )1]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{6* gvՑD\hK9 xU%ʇ1(_]̭d=E 6qJgT`z7$]U,qk4::/7k;эB+6'إ4]X ebuLF/EPNQ:{%~١e"$LXJRDف:O=!HO΄ ,\}B3@QÐ$|я4e8?|i']`sنȜRt4_Z9{Y : E[>pnV#=͹ERBCO0L7A$H|nCBʓөKGb*\$h>{d-Is.XHb?DFw)"L@Rb_ gř/s}|g`EA>B#T&=vevb0?F?XFCKḋ6OXk{ MȖJ4") 8ղ8[#{x$ ,;ꤻoiI/J 8#}Z#|@&3ࣕvr1TpSZ3B0؀yO([~RW K 7ZreXP㥣^HJ7\Tɯ+ и-AX4JoEZe?@@h¹{.5R/۱f#:iw$Xɺ!x:;W#DWƆhH՚N6h&; + Decl_Sem_Fun_PL  $weוABQ:6b=O+AAp7R. j 6KjQ7V^LoVQ(=3<+u|a^M4="ȗ^wA6Ȓ SgYZ7zXZִF! 4]ŗXiɟ1˦r~KunύNN{&-҄\O]=j p ᄔҭY:^]h,zgDXC|cVꖓ1Ostyfs v,qF3&^G%+LvA)})^\]Z~w+F/!o= x~3=~LwB[I7۱I]\IR7͇*|0y:qeG>F@$hp}F xA#2!TL Lɛ#mne]Y,M](`,EчƢ+ME'B9(G<=N<Ոb C?y8Ui { =cCy7M ՑUDϦ 4r`2 ZiD636Џ:Tl7K^YgYZ7zXZִF! / ]ŗXi%I oĤẅ́:b~Ԃ_C3K?ncS<ne/I XrFqSU743Wd4[y_FY_-B@&3T3tmtY=^阌1]=#=᜻Q<2,Yt`*>w*Vkǡt(% <1gCa~ #4eJL\XvtQT]H11*ڴ6Aj`{Ș8ȎthG뤵!ɖ5.+Io1MPa}E ]5*ئ*j-9"OQHC#f]4H OB6Jo [DdBmۇprUOg 9ˌY4(|?,>&MW}OaGy[~> -MK cr'/豲6qQ!IѦ"M[%8( ^b&k_pHhz*z7av\Rn͢5=,4*Bԫ+U|ˌ-Tb?` =A@!aaY(0%:=#4IsP*_ې&H&é/ abAC}G_,&Ƶ.m*;- G-)_G^?zq:8Bg0_gpo7I0$DEDenEqpJU0JQɔpB-`tDJ5):un|~4ӏU#)Ϩԇ,7xb sPq/u]wрMr49l+o%֬^5R Ҁ7YF% kPZGr@%ܖ 4nOݸK5XvmWNK(NEl%EtNW9>jBy&= JpryE'^XfL/UDmm=لʮp8p`ʧD>6HJi-<,&g?t@1ebfO螇إv7ѕp+,@]+R~Z2_k(u'FYjxMchgڪ3gqnX5گlY#¶Jnil !n-$\`oXfx>D sN [T%3 AUӭH{ A*-Ͼ{-%Kt9M'3+Ȓv1t9Uz`Ejt֏R`m+ OݧR;q_aڒ2Om_afDhˆgW#Tpd&ˬii*BJG%B&`;8Gw= E\?mE )\0{2e[v3ב59H @~'oV/azu_/MH0R*p§o 5{ 7Z=YcWԆ{KNa7M`c?wK#4V0ϱ-I*2+_>F~CPA8}t-+/!E#bMr~~[vɻy/gm{He49^2)=j]TO3Vwy5Ɂ^;r3N|{\#-.e}GgYZc7d9f39f2bda4931b617237dc1fa3c4645d009535a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22