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 M 4D| ]S HOL-UNITY:threads=6elapsed=19.395cpu=95.644gc=4.448factor=4.937zXZִF! 1]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy [9 B90*t+JM ~!o03=?aL~$RD}#uԢVPTnsr4[!Հ &. :l %]H*< t)a!/"@Cέ:Miy2]砠N &?kZ\auy4ԈԶ(L[V^Cȏ`()ѩEEBE)Q\#B5~'qH=3\"   HOL-UNITY  ){8ž0 WAr }qSq⟯N̤ P̦}BO@4rŊ|$}XjքegԌ85zزy܌f*n*ʂ!.4nr뷶KsD c7I}{-Fw=b@?ݥU:P/sHj\ɳ_/EC2똜9p8Z}l;πCC-:H#v ^ ,.9,RġnhɩX۠C?oŶTRkTg{9 iB5NPA(n:'Atlǖ4fe | _(:I̋BuU/֊ YK*|MCkk"nws3eI ^#c4*0C3Vv4kvf"05Q(5Ғ6I5$w+&3G͙4^LW g䈒8ͷS u%Nl0?4Ud*"&OA"j= &&l xr>(G&@9,K)Ih:5]}&6I*Iat}xskJk]=~? Ӊ&haG{ *T7 YYr{*{ja=yAjr,e~OW*k&p r ui,3)HB 0R&.Ls w4&]YY|YԸIm#LwvH>AGl|$`$JZ(h 3]@tuF[w~ՁeV'2nl~א{ Og:LDS #MwB ^WM_i0B Mgw\YG9JℭB8G=ƹ*|%I48Ngm,Yk}txٜ .@WTŸf[Ap?gM1Pr컸g'm{!ҁikH cՍgYZ7zXZִF! ;]ŗXiɟ1'x^܎пw/=/ 9&R՞HCCXBD'6zf·sM7HA;j\ Ui?[>%*']y1PrQ2Vwx[Bi :YY<0t{GW,ٚb^[=W. cQ"TzƲI.hbUKǤ0r*F#DAQI"kM .;3XD3{8ǔ"&[a 4YB`\З5aI`-p}kBbpXQ;=nN8- -Qv U^[R 4ƧnKl5AO?1?H'ʼnx7\K @[8=T+K WƳvKB/ ]ω;I]oiӥ7τv=)bUX?6+-.^#`,k͉2N5/I~I`v71Tv17ڨ"ᳩ ِC<1 f`d7N5gߒծd5w+;۬2L{w.aib1nd|&bz 5? ^GQhL٥sHP=wjć8T*8[.#V FO g#/fjvjqBu]_bwIn4[tp)D|+Zo>CڝSЅ23”lnU͌g6#."ƕ S*2XjˠC@Do^g+ibxHi/ (W;TH= eg';kU[ SM&my2<$A&6QbM/ߕNPO(z<$+Gj jMtxz:3GqbD}/~ƼP=~eB46Qp(L{<<5u.ӜqQ2z#YAO}F܉]tt)L#d0Sg9+92ј(ϱiBu)TU_< N~^=uf|Yeru%,x$R~utcsVieo*M_i>-keȡG߅}v+$$[%!v3be7 hEЫ[~%?N0?)t3 $o i3 CXHsrI&*Ybu58FzmAO5]W_tKae}úGtHL32,|8 ~ff {?Q`QE_"i;<DS5@5d6+V!@6r'?&BI)> ;|A]@q)$4p)ڥ]|9,uΧόi[I-BpϢ`ۣ@ps|i;<4S`\괒OTY}'DSh9u/—ԡbWkt-mYIQ m$}0 NVO g$-@fQWg}ӑLVI U pQ⧫z'# 2LuSo24&֣ eA~oV2&