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 M t, ] Password_Authentication_Protocol:threads=8elapsed=37.826cpu=162.528gc=5.878factor=4.307zXZִF! ]ŗXf[&з#8FQ [o"~[~ȡ Xh\ lKoE_j* x?GI!\y/TcwwB-+6K=z%mQw\8 V* E/ĭJsäeL4%ۨLLM݃3n!"^勰uR g`yu^൮8zGQAe4t'!޾Ǟ}kP멣PcdӶ"7JXL=#'ګD%M*Na47f #M Password_Authentication_Protocol  q/j['c(*(U(:ƿʍP޻'ca.S[ULHt܇&4'$ ٖ!n>3AiwAq-p_>$uNS|SnHIlgA*%oUS"2c(^ Ͽnf=U}ffXƵHK{-o7ugYZ7zXZִF! Y ]ŗXi%>t{_G"wLV7I;5B`E{ UXx֓Uz t}Fq\ennA5xg wX2PWvtZ /α$n5mf5QEBͤ>_A]h'¸R&6466:LA+v_CDg>_9ti7Z_>^5貁EVYj 9ME'Dٕ,#!miLFLzܵh_"m?Xמn}(y0zЁ h{"eJX:CP ;Om;}^'=2 y(]|.m6M(7d_U  0ᢗمd&,Vdu2%g }%Q>aG6A-w(|+𺘟"u:sp,l&ݭm>Ne]WQg@ŁĮ=Z wɟݬa]y14&HHxfy֩t;O,jܿF,?haqLO" j C$H,Ģvh]4q`1ol,OI8-FX q܅< u%,aiLսd0؛ۓR'CFPE/M pv4Bf[dyJqf\/46b`ɫV{o5rB&(縟U !FyS6p ODG:؜#;UEsź۬~8 2jAmfӾq,諴c:N`p?^^'G4jIlizqw/RVpk|oo4Orf !U*&?QS&.wKDҭ̬1L $'kU}]+59;<'I:{JDyH .6kevLVub7ɿS(kZ̧a7ZЦfYhUee7ؗ)Ŀ6 AOEPX-Y;uJxٽz!yɺlU#Y V Bu%mUvi**WRD=fj A} )qX08+lkV.ɫ߳8+}S2/ZME/2LgK8DseQ+^R R=q|4pCKo.A'vl |>n?-ݴpx3o(<*$20R~,rNAY3b>+ ^9=Ņf ъi+ʊU.V@68K 'Wڮpbbl&R\Ы0C (X<݊{J'5x_Zz8[ 3mske!5&_j$\+`QQ`Yv'$9v{Q`6Vl; {$_Dx~ʸŽlj8^f+]osvP,3H(NMBrn0~>!>?eIZMrstyOiNIW&}fNb|JB..aŏ%BT!|VkmNy@A4ܡtTC\<+M'ޟΟ"]@Jr \l7ܱ{RzD5EF# cvsJHMN8l}G"ݞy5YS6n|#jO5@[X!KMNxD&kH-8X3hj-8ә6>#.5n ;;TԽ],E.\-!OkHG4xd,eJ Ѱ:C cf>V}qUɔj*RG*: C`I'ČfhĖ|CYx4Fl;(4?v$ze=hO!eANT+f?d<)$>oQU GK`T ~ɘ~alMl SnWw9?5:{Q vS0nz. KWS0}š 86}=fgPLɬ'膺(&xu?d쟫B i7Rnp&i ٟ+ː_c%GPO/QDX"#ydUjQ+=âuT( =0ȯYiQ8G<Dli<0zEM4޼j9E$MD_bm aJuF9hCPpQ>润wW<`D*2_gU{@cGOiK_1V޹?܈ ;_GU ;dcsekZ|%dUF]__ S:Co $hHh!NOcK&Ə:PE7bXu3q w:v Ib0v`u%1rN+^KڦWJgYZ527b7e2c639b907e69f1c370fcf092e3c8ae01e4c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b