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 u14d< ]/ SIFUM_Type_Systems:threads=2elapsed=61.955cpu=104.676gc=3.732factor=1.697zXZִF! FO]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(te[U[+%gsf ¿(D=a.p2 p׀rw 5u[ \)O(y$$Fz'v\תEBأZh#hGߐ i9En@GjNޒBaUr$',$_C%x83JpCMᦙJ8HW*`2ñxWLKe aB)9>tHVi,C5VA5GR&*kRS] @/Fk[7t PRK"QяH .1ۣ)ĮpQ[^V\.]ŗXi%>gr DHOzɝOjTBO=J<pl3w:k*^^4bfTg.ZwDaKm_X h˷(J:nڇMQKWsjEK(h6'帊GO'B@իT- 1 SIFUM_Type_Systems  Mwfn[[=j | W-1EO$"]x&%L$\EwCIYjc2F/GM4Vs&s)](lnS1"s5*N5IV*@ch~FniE%nt2#*E =b-Ϊ55-麃\p.8-TN' ‚lvM` 5)X*uZxqQw gAm6#0UeE '>F"Ȭ\UǙp# "简.=`ǘ|;e( Z^zY} 0o.=tΚ><$#Mnzdpד9OYϤwUIVeAQXe" Y2n[ԺFd%G+˔዆Hg 7_3` ZSTܸP F5vEb"!P*3 ;]idB|O$g?TpcBZ=7s?(ӘC}흥bg80_o_TIi7JBӰ8VMamGu/9O"U֚M!\r[`p QM'ƒs_ n Hd.jrJI(bx9f7% USB,`|a 6!28 vԱ]F%fp3%Jf4"."Kq3_/:i)NdU"evSb-x 3;HG"/CR[ɬٷX ni `Y%cо&˰h XG*:u.P* ',x:uب a@YB^7:&WMe7;M7-,hm5S X\ />[z͠( o$Fw|؜!-6z `1 q<%c~cOJ/; }R\x I"6o==G9}cpؠ7QFX;!mԏAVTB( VvЭc!_#?~6C夒 /aߣtQ_B֧*7~=z![b.+Q0&r+(ߏN_Yq2/-|ͅn`_ZLo:Z,(;b#k8[dM9_(IGekcu?9EF4H+I*H60%f,'oAD1hBOs-vcI>* 4lk?L]mX %6gx;t'$?n0X5ÖVTIԀsQrqpq¿0^+q}0">~Yr|QwkDG]=n9>|Rѷɋ[a1|=~z҇ k@RR_`[|B] NZR(nuTé#ke=; JO7=Tx3,RA}FX @90"BX S帽\iums4iqȷL?7 $N֓0CVoHw렝Z:ʧ>(gWץ_pY/fo%qDڹTG*tlYk^wE1H-|c7Ugt/7">h]\\-w>6|p)zER >\+݅ZB\c Jpaw}d пZgNAfZ٬Fn⒥ wGZQܦW)Li=b82J+ĺx0/YtX&n#*.Yw-HBT)5Uݥ6tC*OgUfk=PL^ GS<1O2?E]2DF'Pd7_D&/ԖNFzÞǾ̣n{lc ?Kz BTy*q4/CM /Uq D I+(D/`tOoRQ=Fr`nZ{LldZMߝL]d#wߋk8>> +O+3k9?K@J4DyLO i&D1T^?aȑ;Mo5?҈*j?6iINeih:wSG"}#5ĜڕGƕ_V_"^ēb^]r?,ڠ_tUZ_cd@ we_LN__hޜAd`EU'dO1" Y`< $~q\:CaæJz]vfʳ'a*rxB̎L hE*qA91[ǮƉsL㶉d/KjW*L `DpWGʨclV" tJS2\L"ۢ[;V7H 4]:OHLQPz\ PivJk@0y~Xnڑ_LQ Nė"aUeb