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 pp # \ ]/ CISC-Kernel:threads=2elapsed=22.992cpu=43.184gc=1.864factor=1.887zXZִF! G]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee8lFDVVZX16f+"S{ssemM˩}elzG(z% PD@d yb,ܛȃȼ۬zo\ht4g^ dfg&W 5hy\6ECHCURC;\smg[3Ҳ G ?=!n]MfمnxfjA ";,zU F[pWO>8`Gz!@eM_m$: ]R,ӥ[{ҚhӬWČc*mT%ߎl99}]H8g,#Ftds[g>av,X!ہ#7]$bf.szt-Er+,^ԒG8'O3yZXj9Cٷx2^n`r:]ü6]W|( MEXțvTCҫ$y/4ۮ:{MYf@]lrax@udC]ٸ%:0 wX|t>_ROjTzQ)0, q4-:ԇ9gJнR*⁻ĉ Z=.\UҨ(8.k@I,Bi$ME82zg 1zb揼IĮ"!<*6o>IĊgYZ7zXZִF! H]ŗXiɟLN.!}" nPBڨ&wjnXD_M:;U(;qvl/D*C\e) A%k"]\ݱjW?^F)JF\ S*3gC XXWH;_9(_3tFIHԅ/*N*`P^wHpÑdܷuU5+i.J :I??Sa:ܬd6>xvHwl.A1sߣަEk+(|;r"z ,@wbb-;!zڇ-`0C2. kgYZ7zXZִF! [f]ŗXi%;C Vwhdţ|;"`1HBKo9uY`=0mpE˧ ǚM2cЂ-+8.9p3_3@_F!HiK+܍&sSDڵ (dڌ-S(WwV=DsfΤT\,%- .1W6,{:A4EJ*TZ?ܤ:gb`ts(~i+d{,e ܜY '|Ӛ|LwUg@:E޻֑3"Y1Zn5pTeM Mca;G歷(,a&pp6J%3٫۹& xWsw,t=/\p |3-+mw`Z[ I?K0ܬ2`;-< hDϘ3/g8qSa2dpzu@bn_;- ^qxMwE2 :)#o4w), VIW}BB  $s)GN&v{VHGm49'+XBhF([BvߐO|LYM:"1K!xt vJe UOM4Vh$q֮(8bRBlCm.E]rE HC0 t253-Q*=Cet?Iyn:wY7[(r >+37tA:u o7aw8mՐJI.GCw |ߟӳ%|O5NeP U.2Г_2#|EXqZ8D0M>s_H40vUE}:_Lw`_$P+ Ĝ*[dR,RZZ\Z#Iwu( yˆJ^.i?>rD|VzSCr~z! ,0߯rN78,n@d8Y < ZD̢j\AgpXHy,_W<9>W3&:5?i3>POObAZ|l FᐢNb2'_r\V Ċh-(Vi]۬N2ke.m߱OxBVPw D_=1Awo~`sעgKR#f"(1/rz c)V0ItlC3nQb80Ƭ"f$HdU 'X2 W)_ܞNJbw}zQ^ʤc| wt{ܯ8ѣ_ۂ YC Fwmy6Bؐ&MŬ$U=R3YxFµ Im1y}OsfY8:t7Wa0lCN#M\=5,^־:QTڱJo{=2̅m҇9cGdهب;Æ ^p|!uS$0N M\MB# C/[k NBf(XʋֹfIF:䬿6Hw0\wfVeXacâw(Qs N*@aS6O-7sc6^v/Ӽ–R}V"#i>G;( '1 LV!pTn5;Ջ`S@{*'kRöOMwb#k.7Uj5*6#ߞQ9mY3aycn@6eݤ3܎bgYZeeb9b307c45d30fb409bd7aa8b7e7590b5121d9fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 # CISC-Kernel