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  r $l ]/]Nominal2:threads=4elapsed=24.666cpu=90.628gc=4.116factor=3.677zXZִF! 0  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnth|#l *0 D?Y ̧Gox3ƙMս1n, 񿕻^[\8yBu5Htt#7sΘ/*9"&lQ vFCp]m;Z>sZ#H2\髆jYDT]>D'rab[xl]8+t_LO7% p 1#K hQtIz~j&(! z}l3cwϸXC$az&Tj8jaQGK?kk]¢[N*$0G^lM!t{E=4`1.kf*FE_!Yn+VvjD}ġf |l&aD{à `>T<~z(< #tV0^a,X^4Y`gj"X&QJw2 eOg}`wDKe>MGx;H~r@lIGoւ‡a36DC?)G=]HmB=4l}w?4ՙ9p%{̽b\"*ca\4`BU>E,~Wx'[x> +x̤b[IbWśZ-BJ{UZ) Щg璧;zMdf@5))%xJP|`/ߑK_ 5#挃ߏ57īe1`@?G/G3v\(˰{2ߏ ;" f?.)L yGgYZ7zXZִF! ]ŗXi%Ebke%W:$尗iY47[&Cj$7]੺㣣o h؋Ӊ{Ry.@a.Fl;Dc>][UQ̼RrD3gHa@S>1 *J[fPf$4nCx?1~9=F;97Wbᚪ.—#u " [']J~:IwhyNbY+ \S9U ^ f<5h%(y_FGJ=񡴡<t;2MQvlm.*ec=" P9 MQT/_] ⼞݄.r`jZ/2x+)dqY=4ؖc^xIz4Uzj [ =x mvXf}gx{RN$x{Xɾ>b)+G] a*H?Itd@8k"|9 B}iڂ ,R+*3܎8ZE}'W^QŽ5$*0wZ l.w{Fws(1vF\1jŽ џHcV*2-c\dDz뗰[a}5,O7'yv~ Doų .N͔bSU`?-I}Ҙf}TJi"6 ) x1+ !r31b\z|Z rT|ǘX6ɕ9uq3^Ha>m\oSZPS @Ox.p6u2U62 wٌgtGr?H{S'@¨~3gO#zwȃ)#d8[ vRZF?[# y[{EJTx\ѳÓhMBON^N7BW"0]kFcfHe 7ab?t&86&ybBUˌ W7yȏ*i p$*g `#Y1k/ Jt{ٴs\m|}Ҿ`gM7 x%c&,&kWHܩ7Z]浌2.o t݄F.[1WVB>oY|cxT/^h,`#0>3t%qcЖ9:3VCVW}j415.4}NJE^*X;h(?/bŮ~ޔaRBY >;!l\hYp 7Pk9_}iXI:;LbIY+pF9rڕ箅`W\OsDz  B?Û#wpjC 1)T5 n1źw0 aDk``bn `yids{X_k14:L4vxVXP^jQ]R>i pGnUGgx})cw+>V7Ut 5p ,D`%Q05UHd(yVS09$#:F QS\Ҡ"rH)!_.LXu*D[z:IfTK&w9?M,Zjx%i 5X*#ͬ4~y9n婴+17iTdcv+w b<]gQk&ZTHa2]xu[-*ܪȤ/)% ݁Y0{CKmxtOܸXDq/S$Ag[蒙 9LdfF3"r=h1Toc˞7@,gʼV.̚c")Jt]+r|W"cbJṕ\Sz=OT0?D )W{?Ā>;cĢ똓".Xىa"FNf1*+ `1S-!,#r#-45VmVViL) T~:.x49I\Ȑa+Jhjx\uU8~\H(I0.BG`EoyyW䨯iEW!/SГ${