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 y $ ]/]UPF:threads=2elapsed=31.418cpu=61.092gc=2.968factor=1.947zXZִF! &]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zqv1"0Kxe_SNS~l$Q߷apdƴ;rN)` %H()d2ٵ9RњZ|vj@^Ek<^VõCDش>Eؿ8vXn:MTQ\lSãȒVw̼%:ER^H[5  )CXCP]0(O]mІ ܫy`X7áZ>z^H~fױpHOut|PNlsaB/%r|w]R742΢ 6gYZ7zXZִF!  ]ŗXiɟܤ#k0{/!sW,UGQ^Pg hX#Qh0¹l0DJUN-oK6Ppg:aV(| \7}= _,9 mԳ4uQe^q(xu mOk݉Ji(^_ T|^ -x=eSsMH'S">Z.F޺4,j/<%^*;>&4l'~db|!JȿDex[2 [dmU~)kJdU$7]1a@\p?  p^M*%m_nQF$x"` b*c߷Ec5OѦdɿm+ؾ{B =mE_ i6dWVCǼ<㤝5˧b_4C] V,7|_N>>-OA(h+ysTQt6i֦y{..nJ`i DAQ>ld J(GoH>eiM,}6aEϢ{[!3⥙<'q%n|psJf&E6 nIdQxf")=N+P;DWi_$In{#P8hZ66;6Hx3]Qfu[3=ܶLJ]rʹj HEe̜ ph ϶[|~$  PBv*S') rqZ ے{ )E.G}Ϸֆ K=4gmPbjIvQ3-[Y( k\'\#&xd8RqWܠ`^T dY6=8:}q]a|@Tw 8ć<2/3)f'7 ' t&c<{{ qRݓ C͘ʕ'ҩ|ʆ"b5\I[kL*E&s޹l+_TPV71(P$OK:`Gsu,0wZ:cs9bB*K@li A/'D0>sx6zr?xM D.YaVt<lUyư| L}=8Sch^=Ki]V5n{.4w:ԌN p@$* \Ak̩7=&fqй4.3M6&j/:,\#pоmxnO{աhY_/ VNRWD#Š ~%spiӡwe>5/C/ |NL=Ld]3#@ABb++ ╇%JHc +[sJ4[d@,& ?^*qfZiy)}ˉ!p!ݗlJ0kK>YO|os뇲W%Uf &dI6K2?| W1*gX{9q^5՛,_Zy{˄iU"ra?c97Eq>\vI֕x?dUP&0U_0 .vkiIά|o71@̌ tV8=3,eJyVX:u6KLt,uwoQ}"Pዩ,\[ &=PFD\oHrtJ!0/ Em61Wa|H:MbgA;2{Drnȯ,x+#/RwpJaR] )As?9Efm%bFsAVAc=8vl|d yZ"uluM\bKR\DLB⥫֓#X BQ3b(FΈ iăjT$?9-7Y@'5nPTgVu_f1?$i|uX!pؓJgYZ09047adf61277f60662688f0934eebc8b0d09eda97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f35129087e7cc248dddc27f95fa60e305e0b20b39b  UPF