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 M/ l4D ]S Monomorphic_Monad:threads=4elapsed=34.855cpu=62.708gc=2.864factor=1.807zXZִF! g]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rS;{qcLDWtĞ!k'SWe+e&_zlQ!y D%IU 9С) JKΒ~1_2^uvq܃/Xʟ#Ɏn3)ML/^ɛ♶鴶\}^"RzccB?^D -;{y.Ia:i Cص bjXrOdt̖,(q^tp8ߩ^D ]g"; IQ!Jxr-c N jtP8^ " 'o4JD)0{X ˯ %p-Ivw/:E16u~\H]ȿnm &Ag<u(Mv2rnU/8ɦ˚\_{ L6e  e_d%_y~ ^;;%]iMjtyRBbzy{pz!0QLZ" Frsz{)Z@LXC3ssQ?Ka U իR22Hg)FLb|_0' {CVU޲S<]RDVUd8%W\{W))Ƶ;Rݜ͐AjZpzYuiV!N|mcM+|Bo$K©|DVn^ #UuBHH0wWYc=D?>ɽRf |^Yok'ԜMהw)@a9xP<z}Zʱ WΖr(c侠0fJ̻)%قNibc8u.Ty1PH]U<)۵699 'Sg$ͫQ%^aOA!q Rf!N4 ΨP&7QyԥqN`XLh<}Nbf#A CM"=|֑Gj=YJz{Mj6`a"&Q J{$:4-*5~䕧מҮ,QLGu~GUNU08p00Gk7|:/Rlb]e}B͊I WgE=Y̓l}V<>4ANL=q==aԚ@vvwJ>`r^Z l[qKԋAQ]ʹn\tMwLFl˜_3h|<<ŏhh51vv=IN_,Ey{9@55p?ȝ3bqiAIX_kc(yag %N^mA\=!xTUKՠ<煹.@W+OX4뷣=+5?ɁxV`|9(t$GTFea1ǁ%NS&v;V8>sRAd0Jkc=kFo3qQ '*>[EvK{џD4@%TS<`6> "$+5:=-Yw-xSw dV`n;AKFo]"F)HlUSbZh Y>TUC? gӹ-Na Kb*buhةV*idq}4??gۧ-9bߟ;j!\`IO-Y hQ*N h|Wpj5p\!?O`]!Tc9Y@'ezSQ 0 0ĒK6ULVn5Y^Xv+dߡ}s*y2|y- z-vYo