SQLite format 3@ .0:  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  * *K5 D, ]/ Concurrent_Revisions:threads=4elapsed=35.114cpu=106.220gc=2.660factor=3.037zXZִF! B]ŗXf[&"c\7MZ9T{[y?<tc'5׃13ρK`} pPɲhe:dI0/<;z|=oM"I!ka`ңڟ?wQ D >2u 㠬1p:tx?ğ`֚IZ]X+/Eb搃 P4d 68.r8NŃ.ޱoR n2nS4yj.E7r-umIK.0&RoObw}r ;s&ȃFR6ФhngqYj2q.w9jAS!Rn^M]8-lوa8#!><t'3;xـaz2I?2 ˻k'gO7Xa >3MeiPwMZXx8Fy9vNl~αƚ]iغBDiY|DgEhu"gOL\L eRҤ宔Gi*}ٕ eS3`1UaȂN*++VGDv5bB 6k P>R81T(EbA)S=ܻ)ϨM!pJϘ ߏJe.S_Q7WX ݉N1U.WWt-[PT%w ԓN㸉 vBkv9x"VgCZ-~ja:<ش6eYVRbX'%es };gys>.7 ::ٜuO̺8g:~ڶuYUj]lvxVؾeNi㏐(F\ N1~y׭b<`2ۗwX޸};qUxcXgFU-l"hj?x{a-"mor.< eI e#AePަjcv~;$<dq1Ɩ9ٻ\uӆ*fn¶weݎW_eɇoU۱8Qt@DvUgYZ7zXZִF! ]ŗXi%B8] ܘj-& O)d~ ܧפQ652kOQӕ~hwOdxv$nَ;ezHAXe%B63qC_ծPVԆ:`~UYH Lvƒ/LR#ӧ ߆/&2w]d>'c*1k3M]38`6םl CVԡx `YP(DT&<å*oE y_T,u1B9ws LҌV-Œ Ѻl?/Q;Qd'(Y(z\|zj6Q*=%0mQR,qa=$).69fV'Gv|27LeK7;vETo Q6JB#1|A]⺡|l>"%[+c:L(ާe QRdn^!?|YnhG`#YTW@HHdh1+S(Cͯ(TՁ;5UyLQx FSܛV{sr}p{k:jSɦMV7Lfd*O<񃍾]݇L%3Bu`v)gt;vg|- ok@3X7!Jqt7}͏3\F muK?=>NrabhJRٵG bB[ЖFo.*B-HhLxݮ+ !Cݖ|ߊ,tz& ~/JIR j^[jXJb)k5 )ko(N}A$feKj%mF)$ *`p!/22Ы6!C #E+hXW,¢Q|L+Eg׳aƯ(f]xyԧ \MPVt$2ȅpˤ$-r j]wOg!YcG=oޱ6~9̥y:0j dxf$=S8N{CZUR%| ӐOOۆh,܀z?<;:V|3?E0{T]+s,DL 2yVE jC_'YC2?UZiEP Br'חEm&Iq+cA~!j^Q_Occ E1Ge&"TESK4@z|Y>$"LuQo^W.\Lkoݘ<8{cDjvT}JʛeqN]_m;R6=pg~U1ц!<&ƹh#I]? 8] hW!XhQ Ȑ-MGixYd%ǂz˭}]fdM1aYU#g.BQk!%{lc3n$pI(̂^Cޠْ`, dԑԃT>2LӍ22zjHؾܖ["3jߊ&3 ]8`}0/WjK|6$2j}1qhJaSh|L%/Ɍ{Fb%d]Ɩ;# ^^y*2 #I0ʨ qK(FR.sF v76v׺uU3YHrqûw=`:iJ]u/e2a6#B?蛠N&awpBZ&xrNjtD?0Y[`sM_+Y%#R@ٮq@ 7N*nKmԄPR)ɷ|x6zf1-7[ɻ6 lA) ߂O+Nd.<~?@ؐgYZ105ef556378fbf4b7098f5b907da47ffdea68473ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe