SQLite format 3@ .0:  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 m | ]/]HOL-Word:threads=6elapsed=9.932cpu=51.780gc=2.540factor=5.217zXZִF! ]ŗXf1-q恈eO/O4Eh?>R[Gޭzʗԙu PĺlGflFrfne$?$X|bPP26 -6ܞ@dYF)޺yEO7mÐ|N2}椞w[&0$aD{co^dTݓ[m'g6iٻ[£殼_532ˇX+T'E47fk.5Vr [VkGݠS๾=Lv K:M&9܎,Sozxmw$b9۹ґs5w#)+n"'% 9}..ge0#FBnP5CKT]"S:z.N*q!$D#H\L¥N& 'G3*A Y T wѸyfB`ǖIJm} @n XxA'Da 4 l˫ 31#%ʓ^IhցK#śAlN 5QilrU+Į5?Nՙ;p=7rl(Jhw ,@0s>L^1|/THi [4Cd{z w{G\P@L`UT 8 ^e|:K2, L39aɯNRI)w@{/XI rd-+Y|gYZ7zXZִF! |]ŗXiɟ1}?3DDCBCmlQv05xo@_5Ŵ/P%'o8ދ ^)!;k he ZW0P>|K D-{rѬkI"?0&5ǭ;uWћ^H/4HK* PZ# +b "^*@0W;u@НL[J5mʦ}֣p"iQUӍ^@oK9S' Ƴ(7G+v), B"=]+K_İ{Kt ʮdW]Dq3["fQ{uwFd; %8*f2\pe+ #gYZ7zXZִF! 846]ŗXi%Ed}l|o`Uxͨ\ON@yqK"!ʝs*Q=."ywEҰ, n{]>E 'T+wϽ=T``֖k ?@lF[k覅i7z&M 2wo3>L@l>לnۈLTDc,56 |]cdzj7'y'l K]616K˻H=ecȫ'{]pQDA2b379NcnTj~:2ӗi$h>A#[`v77DjEޓxxQNdM,(%U{K{EHM\`_Y7PaN'"*$c܈^Wԩ~sq*ɇ  +*GP}3=αGmM(úIœCÏ؉z.)s1&>۬)&=[2R֜KmD/ȭn5[eB35e\} 8p]zh-4EH" ֵ4F;#t@u k͙\<&W[sx'0%gY&?`r&<;%no|KAL\p1Zu>v\?g̛oiA^o0~w˵;8SS! ,yU6pt6T`x$m1es}0D?N)l 4OF7R|LerߚDE]Y:8d^P+>WߺD;]˨+LB.DLQE*{c,SoHH;-#r3n.*A6P7e]j#v4!6w+ްui:9D>| .$#|'Ĉy+T8}ޖpЏ2;z'dz*PIq ZZ4zi'y=]SlTK6{t!`zL*}=m@&α߼gijM&Ch_cZoeGW_E6"$*5p<+YM>f#sK<:1Oui$-3#avܝ!h~k1 d14۲xP=d:F ŝi" Xت@-~ :kTeXL%K@2E:&>x pNgYZa4cfdf05388c958f62dc15fef7f04b02db8c71aa95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97bd577af86bc3656fcd6032b9d6b75f2fe379e211   HOL-Word