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  g g\l ] Corec:threads=4elapsed=73.715cpu=110.972gc=11.528factor=1.517zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 ؒ9{T_z;d܂8~4 hZO$a&w{ Jh0j@=Ԙ;}`LT{zMc˥0!6uuԻUlYVjG7m1'ntB1ƏF{uc[SZݕX`P#~|B zgTk={8Vm}Vx-If`}3S#Gq#ƫހQ4 \šb-,An~uqG̗Tb$c V`}uRC$h1@[2clۧFR泥Qb¼=W+[]bR, gYZ7zXZִF! h]ŗXiɟ1˦rG1)Iu ̣@T;b m6E jlj]_rUAB#[wg PwgYZ7zXZִF! ]ŗXi%I oĘ5,>X}FӫpQIe쀄ŒX|Cl^@c8W%`Y6~D\j|tqh-\/MmَPXu~W"˓I|V^چoC_v򔚇}I6}.굽=F#lI5)iѣzJAC6 7' ᧭"_?'H/TGK[! pm<9C{ߒ+ ^FK޽pLL|4+H.R\I'v|Oqb6?,K6qA/_u Ht8BN|]5^^oUQ:@k&NC&.h·Ef<^ NrE"W\tЯ={1Mnv}[iJ-{w I˯>}  \`GH8yg/_4FB ޡprR|=f,&isp@ޫH`ԂdE[(520CSt}xDqg}/(ejGiSnYM,;nG4' TARgg uI&'dx ˟r~;nhYr"IqTP&88')~fqV j-? [4}1cPir%R~P(-ݳ)V8!աl:hJ7qgJӼOgT 㪘b\^ͱ|Z]e;*de4hpUFA gk_ٞѥmh}  Corec  \NM#cfu gM>iC❒N_Y2MLۄ25[2ţ?ZLu]BdB%>Ez/0RL.JfZ!Gb$Vzy.yJ4޼-P+:\KVEU.D:dˉP%tϹd!Rϱ7 p%}Tr<)lt:6Gmh "kmS9hYw,#rb >աB|LG b-M/ݓXֺ?r󺟅K٥Kl-$uw5lq'QK@9c^Fo"]4>֨~L0lM\4_0F&ERn~hZw==*gx' 8Ldn >uˠo 4 jrXU#$杩m)WӵMş'ZhZ3H E.g 5 MYGK7e#TmrbJЍO ?DeK޶miX@XM߻%Q@YRucWx|2@@?ɍL5$6BEB8>uߠ^~ٻr9^FilCQb4©bzWk \o )Pexbӊ49BDWuV,tgҚHz9b"GEТ홢>MiI)֭vKBP[+&ۥr#&e;Hy3 NUw $[.A2N%ʎ92_,j-f !XSMoi O$tvX4wz:3D5P~8\vόhQ` UL)7*A16}śDAzO;jE AΦЌ8?QDvT\S)iڼEKpS3tDb'S6A zk[L4{Y^}OpR~~@w4u܃Es&f=jz8B%&QyqNȮADʐYYr*?'~]i PvJ҃NmyNHA<B~oc{| "vR`<紞i0 P˞Lҥi a4UytFXnMl3kL?LIs5󳰳J; 9y.ngj$s}; r3fT$B)>k34I'NF%қ%XE{mS&w#0 Χs&GtQACa:azqP 3lٴhR6oȠ 3ޤXp*|prDI.#R hAnoY˿\i~:Jnʛ_LnXɷcK_!׈,{|n[)ZUg1(9Xת [f7 Tav)S6t܎IdI)8{̖C7V@6?;F0 Tߏ;w%o`k-Z26mVSuk C--p罦 AO&t̾)]9nb [5+MV(}v3z}@{G%j=1/sEH|<ҵ§Hĭ0+-kVu?~&bax c}WO-ލ,i>8h̸ ǿ,M?.d|8c؃ ̕y*o])"*}7-Ys>~邜V679$:e0ГГ8L3Y\FX) PK"Poz7̀y=묋7$"=[:Ւܢ[O\,y4=I@tx;gEsqm!XbkrB8זecJ⪇m?4z]'Cern \6nߧSw gF 4\mtȺsA]"&xB׫ M -BKk,gը'yW@797 t#$GQ.b RKr\^ZjV~WSƘyЙ~:ql42+ WX:5&vKYV A,ݘ/la-k04|B+s7u!~=FuhBAƓ9?@uvT`Ϊ ȍhQ‡]L9"J .F'E(Y#sb@Zw+5aNqߠE)K̝كI˂h4ǹ1 '*uhw!P\]瞛z-r"nqb_ˉ,L`K[ `V>'X&Qԁ, ŗ񻳑3E~W΃NJőlmdA3zJȄ˵? PH\j (e8ȟv?0{lT6f2>*t ly}ozsoy:%)_ JcO^o&VZ i5pɻmyUe'֤}:V\*$UmVohca[k7v`U%t}ٜTjb@@A.{Y}F}n&uk/4Ƈlޯqb3U8Ù|:Gĸ v0)kޕY^òI.\UPOd'~oee Ða1s>k0H цvL R<σbRֺf$Q [ʤX!Jp8VC&cp1Agk֯aƲo&VohyX" G0>zJ2qÕ:w@4_#Ri CSU\w;U6/?i C7$ZF-hlsbE?hgD\V꫹ݾwvZ@= aܗHH}Yo^QΝPO "V 9&N;Lʓ ]os 戺{/$ƨ*ǭetEܟG_3Hw*P=+oV8P%y@ײvHc9** ZD{pʖ8[#)u h€ F\0)z?;3oVp!x=,gK"{&'o~(Efm!CDosjRX-;Kz #F7a33>8?Vkϸ}