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  c/ 4D< ]/ Consensus_Refined:threads=2elapsed=40.741cpu=76.692gc=3.256factor=1.887zXZִF! 7]ŗXf[&+mDMLsq͎)nByw)Y$#0ʊs[/bO+A[ 8Y.5̓%yTUZ&rX-H> 7=Cdgx5<֐5cEp n4R0O6uV^-4hrb%tS[Dߤ#"ˑ9}<~W'(|wo4TrRtE| MjuK%^w6Ļ *22@b_)TdQRحQLi(5o7|}wAɯʘٗYY6tbs:+*)--Rxۣ$|&`!пFZZ WgPVa1G_0Tb8szS2WRH=7z A 1AY8}(} 1W[p05d[%Rjz%SՎکR-/oH("C[ uBHv ]QOnԉ/>lVQ.r[,Nlƿv5޲?0K2Qǥ)/c eHdQ[@,Wm)i6QX66w bPS<볟*yga@#@B"b~69*aWc&g8ﴊtBƊkKV=`3Oh,y,@ Ijr&%M#~8&01BLIHѪN(8^CpH= n#}1|$**iod;-̐T⤲5Mh*Q1lu4jqI]u1$X_ӁPH]J`ӷS/E)5i.ez鞅4Y:ɇH]$cY=!eVVֿLCճgYZ7zXZִF! ]ŗXi%>gceҷthr"lkKxghX٦@8tDH4])Fvj[֖_+!Կ̱U4k[A/O}?5 ">RrflNV^/}~kuq. ܎BNؒm)W2UW Q=>yxb~2 _txPˈ&?DEM;ku/p jQS2PA,\SRIÙ {psª%;68I]!TĚBvRTp`F-$akx?xFf62~2!תLPRߢ v_viW7X'L9ڳy'v;(tx6.81>Rd0e #ʰ b*i 1-9p9^߁!hq2]91yKqƻC;qh :uNha-Er 3kp\bzQueLR*-53g=/ wnL[EJi #-SɬBC'LCgtM`Ά(K  -g'fE ,7[Yn4T OY|T`#N y#q[2;t;Ʈ.iHUe)xx,Vpb"N:d -,u6OO!Fe ȀihdPuũ 0 p=P* nH)>L{ bVGƪNP{/$$_j [y7)U8EZ~;A66So:8ǔ 8~ o9 m$S;RK̝Wx8Vrb^+|ekZ "5h7jW7Ay-c;6ƦtSrMWHTe,(.LУ3Ɏ # Ffޥ,Og% QCi9D7Jo6yÙAoP&V_wI-25X6R^gp:Mօ-K̼\ mm{AS1'}[ƦA3PbJ|'b]FGj!tB܎K:T8v75UJR1̿D u/m,HW:,M<5:E[L[j ukc^TOU4֥Ѩso=S6<[qMu m"}H~uet}^Dlh[y0r^"cwpa6nF&%uIS4 `1L#)\hD}acްFzKދYDŽ&!N!H-L===Ex[/eb9gnjUyYŦ%hlU3˭Aw;H/L0S$b2T?:1tޏ|yf(/;Q艴%R0r+޴2 #Jh+*+{nZ.0fn4a)YrOAW[xfqNy\ ޏ1 `wPl0|h]7*)ybKsā,-N7X1aUr{Wl0L;#!8);taxC 2*O&KL;O>7>>b cя1AF!毀NfhKi.PΓ"Su3\r SCVi\m$oD@!+8jHv F‡䲻KKo(F%%e%.Ȉʊ Xj kF.(m@\4B쟱O֚d^ay`JS3*iq]%Xoˠ򽍽X0d)Cҳ@Wܲ(T"?)h/||F%/QDp#1&MNį˙f3..*l|؟𼤖je_FjcCiIVf#v*oڜJy Cuȓ FV~;\4qm֯T{DN&&y[ǀ ^RPn]ZLKZ:/#o <5 ' $[BNP$g\-\ ] T%F6pc,kEJm!3lA+lh#)X@MX6GǙ$Y ڢ@m* d=7/U̿&i BĵH`Yt>HA1&wgY˜AmhtqMGVV=Q 6 a@ShҧlDa((޺Z Y+*zV*n>ԛ%=ִ^=O+T~zs4xCd>NBJ!|y)"Oo:{dFo;#Qj7x5|/&$'GqݓDk@ S |52{9ORj 8GӴf+?ngz9zUaiz{ (bV%|uؒqs{ZqZ@1? ~?=**80Е}.U+6JW8V9 WgV4yh1> PWc6ڪ4)y&@D߯T gYZdc7455fb88c81044dd2320b50ceb9a8b9ce1114b0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f