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  = Td ]S HOL-UNITY:threads=6elapsed=20.025cpu=95.860gc=4.220factor=4.797zXZִF! 7#]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx "Sr?xZi8ŖXBH"e*E-q$TR7O<T*,@R. 7[$8A3F$8bA}vpvF*i1x4qD hR]n1`X dIi*n6> vO5PkmnAp$1x2dkCŎ(u2[ԩ4Pۋ;;aW}c[n K}(cEEL\gvZOt#o;=礞pP|1¤@XjlBR a7fܸ ʡYzR[|Ytz/Q]X^۠X RIZp)zJLWȭyn'6ivfŒc}A-ᒛ_ `} _5$T!\QCq7(V];La2oTȑ |]D}1˽ƉmïyjA%xӊXPn"`?m|4U,jlHvwdgbMrwĹ//^ yۢ:YA;s~ߝPNKx#Ͷ`1VƱ; pc/MOe͇vX /򁺊9Q NM{!EN ݪ@K;^JG nױgYZ7zXZִF! ;]ŗXiɟ1'x^܎SUEb.@wq;9aAcDdd5m41ImM`(%*inM`\K*ڈCY ]괻*4t#5pv#?|9~{)iQ+\O`\,f\@Xz4;U\X2ɨ3a$Dч Ae+ mnk*_=Yi$^-c>ixtk`IP((ȳ*-l[%\BKj[ ֓p?LE!ׇLj"*,\ݮ0Ž&=IdN]ֆ6Y&\/wJ/6mn:"Dz;RZK"5'g0. F/h8Vyg 2۱gYZ7zXZִF! p]ŗXi%ES)~<>o5®p0]k 9'" hcb?2j>Ij0i.qX$ A SBl"*X7]-kxBbu ~_& ~3[lwkI/)s .wiie>~.3aƒaIiB7 W@́ƛ>/frYnk~6'3: cqu"sPz@7+g@Tmн`_ cq[_ #ѱmk]cB5͛58-?% :D¾( EBmvR柯-S_eă$fJX@jz4(k;-\}w9iIv?QMI#ogo8ԽO5B[!fL.[9: :Ia GZS#?r[*b޾uԕ~B3i=U(cuДs /jŬ+- eB_"gAg8\=IetpXLRyZL91! ǹ{6xDyQor ȦQ89Dৃޥa2(WNs>:LlKuH̨ s{ƃ^qľ^b-ʳ3E.Ww:T$'$\-ñ.Ǐ 5"%bAkUڃ2*F>ͨl3 |Z~C Z FlTlIV)yf u) 5 x <<ئX`CѠqB1jPŢ@'B˱G)!ffhˢ%'QlF5YHn @eIo,FXoSlׇk2f('?&ͼ®1wrl/"Ib\}A׭`FUg.M016*75+:\u[hGA^kS [& %֏ѿCa mL&kgz^8%pF3`L+2qݓ4b 1Lpqnd4'&@gZQvDi16(e8~hYJ% k .gG ʑJpz{8-<}Uʭ)( 4OwōTwe4FotS;Uu]r~ nszep Q÷e]6K  orpP(.]X`kǚ1 z(r4Rj !MPm8vxY]aaϦ5H1vR eggdsH\^t9kuCp.2|=[E蘾UYZ ]|xPLlkݿ2P5e kOnl]ߒu4duMp-3/E.>tS%c0KE Lw!i+or2E_9c`y_}m7(4cPJ[0o5 e!tx a;QԂ ߩ,[dBpd8`1&yAS!mkch٤ͦicн`Y*:Fvs/krF186]E5?=aɽ]p #0@e!4Si\i7(l ?ێVp53;7:+{&gYZ97c7e3a321dc83d4151a51059e52795732dd09e2bd696809c70613acb70cb901c2e1e6285632648f 609f44c41d03923b1784e4fe74802b6652832cec aaf2b77caca06c8e71812a7906e7b0e006caf2ca 586e30d426e55b31e17fa0b25543a028d1abbf92