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 u% d| ]% Stern_Brocot:threads=8elapsed=34.055cpu=62.483gc=4.610factor=1.837zXZִF! c]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 慰^JV:dе,9Hʸ#+=zu[hFA@|v@򌞦/: TXگ3MĜZolAS9UD F1A ٯ(h?]I]tvOhH>o嘴cZbCūKn[:@odدm{?Zd @s>ӘEZW/2S_L*'y{+)p,3XG(ْ|U``cG9yhH#naMch>]8hnsd\U7_yEr;mp=</G<ND 11x;=gt*5ԝt;:cHCٵiD ,A޹>O4nAygYZ7zXZִF! ]ŗXiɟ1˦rG1)Iuao5%(Oak;|ڱ%Ðɖ/np kÍ~'wP(?7KKKkg4s7߷g"! /aij,]s&@ȱfMX>bpd:Vφ0gYZ7zXZִF! ๖ =]ŗXi%>t{<mEzE|Y _r_k%4ّ$ݮ8fmyÍT^R\{e`lUwƽH9VO[ fnc/{,#:?.mGQ#K"~d4-`, iE/_QrWEG}[崐n\z0MBr_ yJ:huXukA#ՠ淾3h _P?w`@a@995m]/PVڻ4SPxYXk (zҽDT="q:7+<7:HK;<$/:|XM\J dr:;]o lq%xqU^dSfv 2%R-={3nm ާƖ'F?!OOp9k_cc7^= #T-&8IU*ź6 g4Dy]u<'$MvH+4SgwSQ3hU(T2֒CQ sO^vJ^?Rs5tqD?ȝWwi'M_)#N*Rb3lwюi}V.*_tF厒 @&bpF%כ_ߴw~]nO#зRGI'g2lhPuޮٍ7,~kq,v2[ďvL+$Ɖd@e@|w]@ZO<75I+Eˆ3$~m\u ɻq"+Xót1=/;ZhCza0 f][+oA0"|.xZdbTx"z"ƭ=I1*og3Y g!tLŀ߾ܱ)J*zIۂDhnm xhţS3؛!\2P|>3]-3Nϲ˿|bS`~:tzģpU.(H+xܹ"NmOZnh8H7 ?팡ߎ-'S"BT% &YHݡq/@k:CNmsԳul+&iacNt5vR7uw?'jfẄyeG8]R/DY2- [{Yƭ'ſi|s?{'k3Ok)W…a&df)DƳ,]}A&Ya{x52o-ED}eފbMose- 963-ˀ0z^Rb\{q~Vaߪuz%ͩ7hmBnr[nWuB bxFd9j%梕eRR6"=&x 9`h&G]~G)w4fS;EɈg:XӣRSvٞct똊p )uB*7:)!4 ֬_= 8%m|wZs GV,HB&8>pFH.JRoY!!d萃]d-1T0sR/";62U O#d7*rr:ٮƓ\BfTrU$D ooeBe@YBA0 dtTA[EJVE3R=BM*Ыw')[n