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  5g!gZhPf7Щ>#bBNB|:ɟy *79^VRTi7_Fƙ##Un(-.y(fK"y(0"LaҶ/FN8Z4!Znp__{u\+0seS5h ރ#ė<QW=d1sɪ:i$8,!M(*u]!e$>_eHg)I bQQ_{O·vdoyf,C۔OlMn`Q3MvICza4l)ر@]RbDWn&z꼐|kT! {im򺒫^ѼN"j*&-xi^h1)p6)\ؙ% !ux}M  fC -,Xc:!?ULyY.PÞW&2/2-Hc#;,zGB'Cd1fgL<wAx~'(2eYCRf,S96-ԭiZ֕f/N/1Kr ŻOj%Koj&AgA5P'|3*ֶrx-ؿ8 Qn NKD5gyTJQjm!Q<Ԇw<V]b U◙AڬP0 {6ggF.oYvu"6  JFjL] b[⑊z8(iR2sDADAhqM hid;e`ڙbAjmqq懡0P7.x"T43JZ! ǏcWwbfwD43]Q@4oW@!g83c ̶pNU*i 4C EnD%5!nב[%@ހ H *yzç;ڮi:3(>;LfUʒi-g =xg7J M)rO_Z& p$n狯\tT S5%7͜Av=dE u?a@0Ц-C t!AXbХrۛԉ(Z) bF+RYPm['7=+%l]R,(31ŧt PzUQZpsy gYZ7zXZִF! ´6]ŗXi%J \-XfbE" _w5}+$ۈW7JEɍUj\2+.p Gkܲ_j7:1f2 IB#T3+rS7A0- lB^ĶU7}cSm-6,xTBf D#z$OakxܡV킫\[;L rV!R`r[Q_n)(P?CueK>m(FgP(=K ~ļٲ_bq _m*j2 ⲊuеI֎@ M H}1h4ݿ eT%;$_MY:LTβ_x2ZpN[b&h@5 S=[!+;ٽSZ}Rt1#ُ7}{A/PR-6{LsF%Dz,iQM)`\mϜģChl_'D8vE M."qNW!EEYZznށ'ŐKl䱕mdڕ±v/ iIB$vj*Th"obPRd&Q&NGzGYñ)~/*QeՂ>Q"^O cKWQJg h PIrmribKZjinWJV mqr1 $mTYcU%8Js!?"4/€@bN*Ré /rlc^MO q*=}N1Tm M"xzNx$|K+ڑr+BĄ4a]e2? A?'?qF֟Ny7']<"92e6mc͈Ca0 }%F={hPrJ:(EVݗ>R}+(kN:1jzAXHM o%T_$!HkeARoc$U.B(côI`X;}Ⱦ6',MpoF! .B̝t20}1r.3|ylWG-W\iuO5}0x5`5c'ya|a C29̥;p5YMn R.F/;`O%!?&g+yA!5#ԫuIAv+4 }!3,jPeTyaվ\u${277,B`wgP bNP M@UhC /i♯zL834j!4$ks˄IzKQ?[/AB̅ȂbPxVbRT 1|6oJVn9@"@8WJz$h;Ïw cNjUO?y<&7略Dʊ :Zwa/0N0^qfemT6ٵBbƩҶqà}YմUkBF G@ÛvJ>CD{.݄oFȃ+%H7WlB_RP: #4j=iy 39;CòY‹l{!~ԖUCJR96+֏L էvIy]vaaW|l֤8eH6nu>H<2_:8G45蹷QVVڔhU/"x$(l,MHn裇"32H#[twCAν}71G<;H&YRz 1aX]9/ZLpn Xrt_Ib|8P*>'j0kڧ#% M8W_uu;3E$TmIZM1b{ℱb燢ف<_'EQyIY^Qj5u_C!H \!PQ0hmmHJ} fzJss5] 'U,a"`)hPcְʾI)F@^i^ >'An/ Ybx5XԿCŭ5JYX/>>Ypx'bUxyHNΧb\W