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 XT<| ]]Word_Lib:threads=2elapsed=77.835cpu=149.544gc=4.696factor=1.927zXZִF! ta]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& `d6Ե˼!nկ;#CX\`_J27t.f:E)[^$v:0.&vRWuzRW. Ta7f|I)zu9IT=i e3e@$ƣbȕ-uZE .';pC\j^/ϒ,^@2~s 2z}ݴA\DpTEm?*)Eޭ@H-+&hߴ 4/n.ƝM FT 3[L+ڨq$ Z #g7 Ds & W n,fT,Izc:=OFh߁_}js_%\/mAxS l-x^7tivײJ۟9/n yHI( l&i?EkGބu^w M3υP-wRA#;>`Q֩t()=*G6O?8& i؃)'ӋwY]Ce?N[v[~L2 1j|_8b[4ťցtcy ;V"1ьM6fgvA0~!U)o"9(5>B* L)Q9`>W[_ _R\;Lp%n@Sᇾ-]=kHȈ r"=JvMNcx%R;4dW8W3-+趥Xj#Z>F)]CӹU1C~p7|E:xtײ}ccL~ ɗ&cDSGְ: ajk'Y~HfIJ wg6rp8'Vl7R(u ijsw2Gb Sp67H{@nv渃FR>ǟ`W" )h(H8*5?L],q=IJ͑Ӏ0 dE謥K+ڪ`cvmjJ-_UIp$ LI1eB IescN13=aR~ޞP ,a2h~57 cd3ʕ6Kв wEt투-N{\ݻ҉#L N0tfZF_<RZ/͓/ 6m opiz7΁]mDN'bՉ?r1^JQ$Ǻp/26 ~M%)[`&:w>AάklѬC6u^DI8Z`ֺڷ^rm u*8fA jyB4S5r^}g k'n&ݱ5O}S 蓓חV'c(L1M}b7[&Gp0C1fԡRԵ1y?~Cv7d8QӛYU ~iG܎'suڗnM'RzlWQ+89ZM (#V=Xç1it~MhGhXкY|a+r]@Ï4ݖ4{0S =Z؇>#B*ɬj颮qf,NR܈Fs ۖ{>i  }Rbm2!/GT$BVlĢ5SH=xNFn$RKI\!d^ŃEB_^mW0ZB9I* I&O$h4 v4SN)Cuf[4Qȶ/:F+fEhcwh[\ sMM޿Ӫ/(L) 6"!([~n<Կ#`q7iKlJ2IR!7ʬ&Ph6 )kDo_Zt YG+yq 6nRò74(.D+εc}TH*OA=! ܡ~P96׉;}a }Ie ѽ #lEuQLA'S*jϪYvUQ9+zՌpA;:ۿ9֚8MޜYe|1{F`X~Y\%ʽ>I`Y3 㳨_D+y[LЦy!܎NBjW8a&"|C9SDO {jc*BYrI.7+Zsxhn4 ]p_MF֒B&1!X {ld |!/I }5_:v{u*SX? x:^q0*Hm (Ⲷd暃s[j%Ax3 W4!S