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 ##Z L4l ] XML:threads=2elapsed=20.969cpu=34.656gc=2.364factor=1.657zXZִF!  ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=_@eaг{xd6HdPoZ\g4*($Q0<Ñ՘?z( s ${If B?D*eHځ/fw:ݺb>|LZ$ OF]ô-C>̛~pѣ+4}Ot{u}#rB'~5?Ʒsz$=wqBG\As5wp2?|LF`fR0G&54<1t>;2;ݹmWFPmt=!5ߔԞdsf*^73lB#k+8'R-0}5pϫC'V?#NUFv V{ b% F]󿗊7?PS̭XTl릂"n7:WpJ2Xse"8"|mN`[sy!">gXUcMв}Hփn:Ƃ`mvHm%K?>jEƤf|~Mi 4cA7zb 9,К\[V%N%x i6$N4;nfu6ߎi"foAj" V8_4drKن9^@X\6bִ"b'jE1i.s1 4܅`j'W@ MRDԀMpq纩HKCZHP鄙6m`17z6?Z\H}|VõоAgS쌖1bC,6R<ß&jWff\tj)(|4; P/KDMUV9љQ]gˡhoxDXuDr' ϛǽ~f]WMrp* ̯YND,UnJx'gLy4'Vvc7B9}a7 =krJ]ٷu4*ԧ'p\'WVS]|K"3CJmVl fJyIꈯ~)֭EF#l9a"RձTu(@ 2ooYC2!Ӹ eZi8K4~ϼ4V'L쨎^3KPQ@bn*:]ZHJZ$#PIq]&F0FgNYQp,hrw,G4|gh~rF||?싡U.C S(+"lt|zo&^z6>"x$d@ϭ;!-~urɻ*t>m0xBXF0kg؇ ,Ey;wse,q+͙/vݎya\]j%f&{|kVn&cDל%uG"x-]8B;ߡw8sv̭/RGSn[WڠVZK-rw͝ˆŲ]5ж۲OBǽ` CnV1~b=b{^,x~ bnuhi*GW>mעpa[˄/mjN"6KE`Mɱ;p).kha=ZEBXΗCGexu3zV$C؄E FOx5;. KH|Y&Ds&ipsK]Mbk8H2Trk'\ of$&iFrѲQ|vXN e_#܀O2{ŏ  gYZ24166267af83a68a702a4114cdccd3461d8e0a90665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b  XML