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 CC:3 |l$ ] Presburger-Automata:threads=2elapsed=33.597cpu=54.980gc=1.912factor=1.647zXZִF! #k5]ŗXf1-/6vR[3 nQ@f0o2췳_C?XMX FcL6 `*>%Tj6XZdeΉkPIE,1;A= PzE}Rf;R$GzTs~Jr8( fZ}toύ(-mg;[D]`4Xf%^z"@H7:1 ;t UH)9L-LF❟ϫobȬ | x~pF4 V8Cɓ8Z$A7<~vKF%9. (HuDSH"3J:vhd<Ѽعf s Ы({c4’iO.hHR>Đ3|Q8ƥ]%I}qΤi~ N"66еbxW\s-hf̚]jv/ҟj2FctC(LkHDP d}phv{Ef2F}*=PLaBie}XTUψĮA_8ajfeʤ'c^'Mܮ_k<3 A]0F}gYZ7zXZִF! p]ŗXiɟ˕454؊hUՂI"Cr%`cp"-m"w2~:f$I)fWđǂzS-^NXL7F4XZ. 5gYZ7zXZִF! + L]ŗXi%>gwe۲0g~P51ƾVՆc/L=k&@-I+q3/xYȳf\ۨ7Sx&e%n@1F )fbU-79Nl5D#SŴh&콻a[;Y8/Yc"#nsz˂,8XlU7uEA 2ir_ډ7NOezܧyxbgC :ęS|{{T[?IaFsYBkcl.:–B@O$QfeU;tXxܥYa 샤E)JLXQv\%hQD}%ۼZg5M ܄K`Bz EQπy%c[m݀^SADmg ~ә Wdd94$AtmM[+{-FR.&r)q!OWQenEs)! \x:3H!SjPZTFj͞]+,_`E8fYqxfJ !$az=Z+UC:P@`rw.(4m^jsK;$##OO]k {dy9œs1i6I`ce .of y]KO )/QӽkT8 zׇC~23Ǯ`(vЈW[Ϩ.m_Rtrq(MyT$ !,?K\N^9s0#5hm l0M$fޭ\Sٚ*3Y\Vb }32?;jAZU'W' WVn-G;8FzبهwsywnG"$gε5?Ą B#tBSڪaA vhg9Z3Rž28!w_t8X2R yi ?aR74+1QVw3m+0䲘Wj*:LqںZ^ 5b:G&{]_ڎrdJWĦ,$Xf.DgךT%).|T_π3ucvٟiͩc9Xs'MI*X:c H˶CM?@OYiojTDPmcpQV6/0^ɸNI 2Stc1X$g~`Ƣ 4$CJ LM6С+K4\,n8tOH?)V L[8'e׽V0!jb$6j=/ptn|L313]cI5$uFiR!%=6M7/~@npĊχ{- '%~V2XU~m芾8r< sPXS"6^M~R٣EWĖI5qG-ږg݁y4vӣ />:y c- @d2Wyx;]\ym6;B> U1-?q[wW~X BZ bmE>Y6s/JƊrSf<|xZDZSsP4#߂}-0N:5}dg;YgYZ3833107b46617fa9f20c267a98c1b764e30ab8bb665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 3 Presburger-Automata