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 -$dl ]/ HOL-SET_Protocol:threads=6elapsed=25.262cpu=114.140gc=2.644factor=4.527zXZִF! - ]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;ʹC,ޘ3Lg.&XFgO{>UHRobh$hK_$ֿ;IWM ,A\3`!l9wiFexUC%E 9Xgm4 gƴo90^b,[ѓ15OMUd;8Fب; xԊ=~8 :jPJ/CZ嫗нIH T=7LR݋[B[{7'au r%à@ ~5B0ZP0wi!.ބdO)ԓ> `/IT2!Nt;kb`i𻞹v4=ۉiPvXI#l] ,X WLɷ+%3mmJy1۵& >X^zV֋juV']КTFAܼ Q#wzhjI_7@Ы1vЪr }{ 4'2F:_ē86pHrVax671XEeԒ0;Z/po]mE efx\ ǫrdI|ܢDcv4S]Q쓓yK ,̐H鉗^wʖp[*[᧿˫q|h"n|6t >?l2s&VK !]t(> sKaa{0S݆͵Asp(XOfC _C[1gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{2>() zWQWDp$O3m,RBq j#9X8T?V; G4oݪ2|4eB ±O3前wHn$pY3V:bQfٽ¿h BR3ʛ=&rhk6~ɲ6QBmfv9xYq i>Vz-/2G 1h\{x`mk45H!wxv?zFʼzwAEgRR ݒVC$c ic%5 O-[ºu=$&s!(w״q(zH(-lW<+9YJ=\C qϞЕpaC[Ҋ. NBJz@:˛p$<#bhuqqwa MĹ`hoΖ;% *AY+ĈY|N2Q$23Os.R 6nfMe 28Ii^9>;^2ntQ8i6ҩ.z*e߉CyN+ :IG;C\Sl+2A وX3׾ DE^q4sthSȂųa nk`,v+ɔ-c=Pb(g>#.~woថ]ܚ&> (C59d7=P^eP+ų"a #{^)&-g\kCf4a+ڙ]ܥj^o"7AoA|\KwsΘgעLӹYoΏWoa&jIVٕ`4A#P/"`B:kH$YƩL)Gj9w¿5mjCMFoCq-<q~ ۯp?@E*]^8gZt W)y˵QҊz1Z% vuWSm#6[ Ia\lvƒ ҊmLPB(e{aV:d?8Mϑ,N|{u/%Ӗ7?n 2whS^gP>RjsV]̾&a%K>xP?e3n.uj^Kd5?K+R)`e(t*C&c[™ɃsrV+mL:z~ ظw.k]5҇CxZſNnO6Da/1= LYK\@׍'ӯQ4ުb?\+qWWˑ4 JKe!B=0%bM'fKDtPzkF2@M %O2ڤ x:/t%vi(ԷK_BCDwK`{ў\_4k;wj$.?bt?Fu<@CWc8[%z?.z'1Ս?ÓCҨKHC _uD`$Q r(HiBlZC4'j\kfE?G-7: NMc,4촡ԓ ;.@w2M-j|̀~ȽͷvF} scrtWcǬXjkk(^{ heҿӣȝ 7G xe"˲#?i䈤[=~5R+WD6J·.UG͕XXi7G1懿;́2՛~Xc'"-o-4qH4ϕ6ƱȴBn!-2p =@{gS@yCޥrfTG`[U ץHd9n0Ka@@SqT9 M'w6%\i\ j|r$Gڳؖކ,Ej>f3r8A< 11]tZ# HM]R^TS3@6ioo_i9s A9Hz돲5` =ڌa񭑁^ϦO=jHc0L'T/D*X̱tJ*L@y`OLHeQIiѳ _~isvȥmfgYZdf9c89e58db9d0bf183e766c424e2b5c27209451fe1281de5d7780f272aca589ea23aa21095812b5 b0fbbd38fa9ab2d8baffe811a6d340106ce50024