SQLite format 3@ . BBh77otableisabelle_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  - -HI ,4 ]/ Abortable_Linearizable_Modules:threads=2elapsed=61.866cpu=94.432gc=3.884factor=1.537zXZִF! RX]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Yw?;7WHe^Xk^"`s|TP,zMPl;I5cer۲R+1ܴdE=.ڂU[R|US=+p\'R|׷dHD)Pa5z0a3fq}9$-;jW$HHo$aZCg4֓qAA; <~2WDӹрI\a^ & wbgu{΢cxX^F>zJ7 H Mwd٧d<鵠1]jR.tUC jw:+J4H$Az,rHS(M4 TZ?1͋.":.{I<"D؄^P2x62S̎ yWz[A؂"I{J$ Eo= ҄%9k*IV_,>X8-| W'ӕBvCqP:tnZW=èbB:6W=3LyQIpm)|ZmiY#1*K^ކMऌekv<J8%FH ʟO}άE3л8BYpvAo`-T%;I]?d2ïZ﷈S :|TÐV(̦1قx c|zP/p ٤c<0TgYZ7zXZִF! ]ŗXiɟ>vbR6{{]GBzzMٟޞ0 ^bcFuU3_KPn3{6F+\}ER^ cտF_I*m(Π|Ҏ0λq&l?a.?Ȕ k!`84g]oӇ)`}9 $佌 RSC5Q[$ FK]``ѶLsCCS.\S oUf܆*\Ih. Q$W$|aF=f[2TMnV(*%oAE=ѝ]i^LmX$6I{6Cۥ\)fdnzw$TT|\lmmm_Y8بTtઅ-?FBՎM,K0Qx%?HϿX4TI0,Y<d~߼`\&NStFʻN8)r9tQyLCz\,^At]T3zz ^$ķ/ݟA%h0jtQv1)N&qa6IqόƆ{ʯ8핞_ *>Ə3l=vksׇѤ*4ifHN*-ܖh)\V^:b_ 'XTҧ#~.N|X.ƢfhâTEM;3j:K98V0+*GK ~PB|uW8=crAtiFa1Y#G:O=A7`3{B!b/;>'?A|xɤuWT%d-CBkzՉ_ãPd v ?:1+~gjT&p |j|Se/7q`R<8?'0IJvsXC8dwYd.XPz.s-=%fډ1)stؐbtdjfbD:v QHz(tw :SIՅ9<x:vJVdN;A-pu)vM{s,$u`uǡpp F,ʚ yJAbvг BR i<MRiNO W,84sÂ߀I';9=2ksj,Ց5b|Ђr_7I(ڬ!*wěYj;S5QƑVhE= U|}bi->+LC$jb %pѝt0pal9.ھ ?ێ1& CmP8̐ /qgQv;\赾LBKј#l)C ; [?$%yP:AHN7&rcb?\x#aTْ;b B,v/ͅ_3c. /K6{? *|$|o+\ȴuSxuBjS+]֦WhwoÜ-\i-h73E9K+nJ@HFiBMD$$eȤ%@Ęx ~ժOV06u%z6@_6J9;C G*-nE±#g@TƘJ>J5}!wa31mh$4':<8uQo2^qPF%j6(Kݦq1^:5{M|'/?0ͮtƑَZ) Ť# O;*ܐA'3-$ͅB;,fTxcW[I5&z 뱻'.a_~̰b\ M׷wiA\T ̽ ~:wډINɃ[Z[B8|<L^/IX0i! @&# NB'>i9Dq|y䅰Lq|m'C{ѳ#^١NA}g$'a IdꈙN*WQv#`hF 3:O~Sa?H@D7٧+ǷfJTK,^ HN@W,Fb4k֤na©^Ovg9S&'::/R01a鄞 K=)\ʽ wZ'teqjc8 lĹ}f6S>6gYZeb729de6e3cda57ff81fb8d20fea6139e3f86479e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc