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 o7 $\D ]/ WHATandWHERE_Security:threads=4elapsed=26.967cpu=93.608gc=3.016factor=3.477zXZִF! +@J]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?DMC~A+JHS4t9Ҍw1&UɖCMÏMI2q:ZDXWz)- +;̓phƒkcuՖͶӉWmM`Lx]򿂳[L=v~ yb¤X0RJ=prs싳!ʲ\X%|s `|wU"!H"S'j8'j<)'N&Vbٯ\ƁMѣyŰ{QT`YK"w(2or)4M c΅beiҫuM@Xq=g$vfvgcOq#"R$␰`BIdˤVJc<틈dIԊ(&:P"2na{G7&ER4?˫`? Al17E//#6K|anrkrwV1/Aذ ZF*e^Ax~lSIh󥶪J-e5I ׎d?.Y Zq_ ̾sb%(?ϱps}}Q}D93n?H3yfi:k-h#~'5& s &a  BGeqұ͝.Uwъh&l6V}28zpʞq]|L58 #j6Es$>IaLujUzDթ؀.N<QWh"! .B+ KqM 34j{1+`  RUFT螜G@Ujb˳EپzA)AOvۋ>gPv@ ,1{dp CD#0Vz5.ߞ>8=搇KCTZC}CC +ڕЙo[@)j$by5ɘƛ&V؋Ei8sI=$HPֶ|qڈ-' K!#T8RHCJE5.$5"@[f& HRLxgYZ7zXZִF! ]ŗXi%L 8;.jĄki JKM*Nns17O5T^j`9>ۅFv^faLMm)b{cߦL x4J#w$v~;x?9Hя&޷W?Sm,F #ܞ4,_oيʳ"UEY*y4F\~rhL}I? 4Bfy"k*5R.-/[ҟ{IJ`yDi \kQpy~ ^]v /dxlEI@H_!OkDDgW׻Saֳhiw@"W6$W6nY~Wbn7v0Z !HBwq\髂gBd0+&u)P'/l4h  B)rߌ@!?ex(1=?'PgUJ)>!~5TUSz\g1.Yŋ O3O>,YNs;JdZe\ȹND.V܍Ėh06wKs"te*G[\洂E'GR1%$LOM nJ]D.m27 w 0Npb!Fh.WGjTV8zL%p$M1!=KVCլkP&d+Wjnm6W~d#B4=w$Fr01W`>SA`_0\g YG ~|nj931,XIӦ:uXp@e*└ӣ^9^l˅¨*~Jn8nhsg)HZb8P!`VWcnẋyFp+Y>O|"RePџ$s@%Chaڹeo6~ N9a88mVW`> u+x%lzwCwzp5pΌX8vYCӥ4]QaF|e-3+@;,v0Dwl)?3){]sFDԔSd@)<]gTۖ"Thxf-F+'4vqc}.t 0!AQ?xh0$5OR,oa[.Tf:?-Qk2Q]|`J Sʯu'g{}^Y\SHx5 (kpRev8@̔iv3/5LsTXPܚ7 .=U.1ƚ0 v3&02yׄ }SRg;7[:fY{$󟖷Tu\@/T"kgY͊Vb[IU$gq6{Ry{?n \,QG_L\Wz:/-}(X5hurVǥۻtR%]$Dɂ6~bެAcLWx6W^' Z'3R#1X|ivfvCkU_X~w˰#~6q#`KHH*7TI %p矼!} cͧZ7Uᡛ&K7@qRt9xO&+hOhFh6Nca -j2$`8C{I@2ٺqZmd٦[?Pms^0 ş1S _eĩ=@<A-_HlpuIEgYZ6307e68e1d8615d592cd8d1719ec109ba6e04fd1d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773