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 ^ tD< ] XML:threads=4elapsed=19.485cpu=39.000gc=2.684factor=2.007zXZִF! 1]ŗXf[&OJx#CJmEvy} v ƮI0e-F?sYK$e`e| QҠ8qҦ:̸uID?9Lr&K0eO?X8QED%QݔFs,gB6W4u ix.]r<^9;~ѸQ_tlMS[6}X|jD%1=BuV-. `%~!b-m|f|sb ?؞VݩdhE/D1Q{vׄu(S3 G6Mྙ~ '5P4'ʼne'B[ʐEr*:tp/xFvUJO- ѶCgoȱ~hA_DhëZ6 {׮Ρs3(Ǟ 8#bY|$Sb.-}/p^e#@Ͻ24䗱gYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMBq46ߔ0 iyB>.5B_6x9&z0Ÿ:mMںc*ۊ}wZp.TP3;6ҿp* =S";(-5#dP4]*쬢aK7"Ai@c}{qޏik2"!G%{hDR d_rҟi!/7VBP&I*n[yOgYZ7zXZִF! [V]ŗXi%L aݥrqz6e*?jǘh1?TgV9AC0.}F&GkB\U1 MZ8VY'nOt?(taw? b<."pOJõ_l0Z*6h_̔ (zGT$s4}1ڞv6VqpncmүySJ{Rͯq/"{㥿Rj{9Y.*ERqeѴn³FѸpNۨb}NɱF؍b7ZbE nx|/GQK!"RofaaIjQڧwbw(ݷzczn ۼ#*7mVe4m16~l *R W3rU-61j~ c5/j#}ju7͉bfR?PY-n})~=)9]ʆ"N?pu) c&Iܗ^ꌞ'/_m_'¯[r# lVE-ot4Ӯ#6~L' wC衘r։Ju8`V^$ʽO7Xz>XPDrgYsy]29r(v[;rtXR?jmlךb{MA_`'xؕb 5/|tGVińD]'U _z. J|Kg@2Xz} VslWq+ְiQmHj򿜋%L?RrLk*%LyQUq|Ipkj^]T^G:g0cˤxsl ЭgGS)rBSRԿϔUvR ny sԱ1ѕǰt}.2) 󪮽"-"%7_9`C '7PH|Ͷ{ݲk:B*xqXMѶ{ΐBUU5*~=:ՂO תOnwIk[ǦL̈́:trr]vƃ޳ - L.\j`awC;>XnQD=ZR4C}~7yVs (<:t/#S6}DaiB MP> ʇAQ.#\]E,Y&'/mnGgv<$fwX/ܞ΁1 kN1tDw_@wڲPFѳ Ljl ,;s3'eK8֘V>.ji%mUBg(m"ʓڪ;{M LS07GvOT,n}ֆ"p BGfz泊DC({$ٳGkJ E\ՊSSqRbT_כlNk;Z_u7_Jes\#jXDŽz:жrpDžG q4'']ڮ5cS5DpO8QJ$?aE#E܀gYZ85389c83d1f742ef153d93f7d54dffcad7cb1e04d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a  XML