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 &&W \,\ ]/]HOLCF:threads=6elapsed=12.431cpu=40.008gc=2.724factor=3.227zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Q,k! Ps9@h1<:L\uk̭C \piGM~?=VLX=HV Є87]*ɧ'O f+ˮQ>KP7뵵l<[VȑQc< ,&@X˭xu~hn*`(ajogᑻx^L It0-LRRK_'p="ruۺQ}b$so/1#pNn׽^L뫾>C#aqe(53vkai̭z:,]l-gYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]hα*Lpõ-lb/u+7sB"#\Yz'mQp"xP{ҟ1|ѹ(BiD`ܒ}ڏ:n56bQoic[s;-q0Qd;}ۖPI~3cMIzHav8{QH-|]q:VGX0_2c]׋P%4 (D3l3ZBnFA[Y?is#a.HGM;kvvʐ f2I Lr1~;lP៫!6Oe⶷@#^ϥڰyW=#6[eL3@jz_/c%"Ό-<?ʈ7?fL,ykg"z*BO-U[đ`A$rOmi`BאêCw sQ*ݗ RUC}'=/ cJu1+gYZ7zXZִF! H(]ŗXi%Jϳ "iokPDic]%Z~u6@,Xe]3\m@HqO=_L;T_01,>8MsZMSFK~ w>zCN2~a2Pw "_ udμ^WxruF* ⾩,~  eA ijx!h\i<6SL5N<0^;D;3?ϐEܝցKk,XRF!c(xϒo  ib 2?ؠh`=h7_/&a?,L8S/dM.X|jO7CPϩ f^|4Ьro]eIf;6u0*C_<.Ap{:)F ddb?l|jIRXr[% H<* BCш:XX@ȓF&9ԏT[OGx62lɠIig8BκW.}|nr Q(*MDFSMDž=O'ǒ;2aET=0Ql(1(l?^_QJ|VkCo+s\بO<2m1[|!4*9.ƞkjߜP`w7ېΦO#\]P5EY%](׃$ K UqsULG﷿ة+j" j+0ښkvӟKW>{iqL%Pgwl9KM׀ czO4bf+H$J| .J0-Ή 4,~QhS8]ZS'C䭻3j!=xvpx++DJM1P'xwMqdhF\^jd$ f+QH^Ǖ76Lhr o4gYZ611340c5401bd029e1862e84b25b1188612ae467e8eb12ec958edf5a5d2cbf15395a8cea53977f53 d1f8b402b68bdff9c63c026506ecef83f5f68c0095932207086dc04e1c5df08504c013855d3629ea  HOLCF