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 B+ \, ] LightweightJava:threads=2elapsed=50.940cpu=77.784gc=2.960factor=1.537zXZִF! Ff]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o`#'5{E#& '$qGCMYRW^,2P9ڶ6Z >B,mU_ƺ^>9"@ǪuQ=2W/w_no dλ,=385l#0}pXa_H9Ԁ:SUgyן5_@*_)}aČpTIA6n"qA gT(_F/\0 8^7[$!G{q^3ܦ} + LightweightJava  rpja( uy3EQ8K] cZCqYhS\ VTx_@&D3 Q!1h DhgӜѨ" }P/WF:=R`Jt)̍'  }RnDDf;N;hs"}]=5 ̏ aXrRyL2m ̿]Ln5^E}xto}~ժ6ɕZVNW賍ʅbԩY"#{veZ FRq{ALnN(T IHl[׹٢I;޲X1uЫM9Ku. ' nF7mYfR_jd+>'5W{ я!qaT" v֥k>{%#x}UvK_)'& 9! "jq 0-%HM<^#Zj  RY (bx$b&LԳ~ w CY+yo6M.݌zd<[YĄsh>N YhsVϡ-H 7 <\v*ӅUxh3>*'e-V{2%eLƙ&XL"P dGnT `s~O^Pdķ>1zX\KӸ+|kxiElY-M*GDq)AŬg:ލf>\ƺ+yއ4%R gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9C&)(SzyM>|rap(ynǵ@IPR\t:R{ e"x`iܦ?gYZ7zXZִF! 0 ]ŗXi%>g!nJO_)o5!!cewѺ2a'Ҙ9Wm]nX"(V5$'"]N݉Cߵs3+ϡ"K,J1?I02n ?0UpƆxɟF~ޱz{P&T:R3a[!!Ez` \2iq;guoH=]QlˣRNXZ aE\Dש&nP#_,-SŘԼs@)%&%ȥߒ;@y˩^%97 څSHJ9 u~i܌mI- q_`~H5tcnzLӱD78XGT赸vEs/:..M-R[Vޚ#E1(ã0SV: }'Rc#cPee q_㈷XL̺鰆@ZY+#wh7#x'e0NI 1/_Y/Cf<1ןA##5n?G[nE VTk:?gfeU#L20tU jv1,sB^f2j fR/1o9iրrO)_"XᒾCEnGJGʪO3 l^j^i%j_ϙFH\W`UB1\EyќȎ;Š~cg|8QfP+W)%e4z,AdZZ]t5-"C2K,!9G RE ^:UOs [L2! ;+oOʗ0|Q"3|Sף IfZ:ޕF視Pyп8 $z&5Yl)x0"NG 䈕> ViX0W Jǖr#gu՜%Y'+S|i~Apǡɶ;_)0 k9ݔxϗrs; ArD'o7^iDB=J_[:@VymnI8:=g^iA{[sSv$Zz6CVHϞ˝ܑHB$eYr׍JeA]gtU k86@ o,ٚ =wL fkϪfa#s=ˋ^J1ӃK!)k.#Yz Z`09=`are'7M֪ɤ}ReT(5RԸGfW_xg#T8hl֧1~Wd"F?gEe?,[!L.SSZA;߂+|)xF?fD3T934c&@]gO}G4 \~ *2e0=J6nNХ={aߔ4(pHv+jkO^NԩvehNX4Zabgn&֢jm̱ >B})nX$vxG dNywXI 9x>.۷8C JnN]p8~=AmUg)v;y њ)%D)zʅ hwA+ 3_ܕ9F(δE^1=œ5j oJ튩;-q2:ςvqW4m)&#xs#Z1ćjy"NK5#˼`< *BED8e`ퟯBɦrUKra>NCQOۦ+j`v(I2EFHϟ Hk{]~FR$0 FX'z: H`,dd|Y)D&i 8 ;8ZqM>ɇ R0.dbM-鼲R#m =/׍й%8i~*K[dNp1 ) "$)XxEƥz3Sc懔b3?yUG$H}khS҈cp'Z\t:`KOiYx܀\CCk8+4g7ϛp8R5[-0;qP/L4:|aP.h.aXF[wM@w;DP*&3pC6a6|ٞ?E*<P(IOaVRН6z$&&9.gGN7f r}p-l0Z$*Ԙ!]EFZۣs̲,Y3#|osoX^ e NpI