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 3 \tT ]/ Projective_Geometry:threads=2elapsed=37.462cpu=55.204gc=1.068factor=1.477zXZִF! :Ig]ŗXf1-/6vR[3 G2p):ÖOޓS~5ن2Hr|"'3ɸE\Tp#X/(|8@Las14FtAsq-l,`L͎6 qhxjaRRhWF7}WF^ڀGM7 }~eQ>IҿbEP%"fm:~]pQi}iJ4|?!܏dKdؑda"c_4 0KYJ{}ꬠZ",:v E F%ߍހD,aO&.zw4fWƖc= ;\kH+T 3 Projective_Geometry   aoj'#]5:+h5) »JKVI&`41k>MևHŬd U)⋃iѾvwh4$d=6aeb^$Xxv-9O`q}:R'E{<X]+%J."@PrRiN%[Ha;D! ƥ9Cʭ0̼l~:DKĆ :rp}Ml& "2 A)79#D PVRwǟRkjV?Į6%}6_xDŧ-פx7!Isn'ؕ Y-{IQHP9#s=i)j~]M@gYZ7zXZִF! ]ŗXi%>g䦖+gdCtyR_o'tdAw.um?cm~S-`Ja1~qC#b*Mn&$MBP8U*r;|v{8T8nzՁ'  A2fFedDuhE’OMbR#HrSFR(倨Kfu)`J_iBR-PL;9/j"A˸]!@`0PeXe(ϯ'yI0EPdi}5.ֱy:HVl ݣg14*j~SSti2wl]Jõe@mwB>M~MUL׍1M4 yCN#?y3#|*9ݷZv1a`P5%`=d{ ")\zc$m (8$XZz ,coz cڎuft9 SLx$3# 8tUҸL ϕ\.S+F E5)}~ N>>eK&#ni::)?Dyrztڮ'3uapǝJ;yf*_̕S^AB`yW]9pw#ԘeUVbwZ^v7ڥWbZ[ʱ'1GHʺ3o$hg7 4>oRFPk:(IJ$zG>5_Bruٛ^K^ڬ1ZlAC,HSE^ׅ~pƀlzgIJ.M-dE T᠂Ouf.px`E~;rcRԬ5o) ٨Fp-z"y pӣ'>ƙm8GFɵX$LSbbEU6":͈2 H7QPM|l$9] +2B k~u#(Pԣy H,ܵ}SLcH5_ 엋є5*$Gw_cs(O@t37!cE1,^lTb~jm9ִ5luno3yL+d)]讽 .b Y먐Ti8$\#esynBT]9?|$"*uªڞ>Cj#ӫE3lӿ1lm4^" KHr8^\hA7&IYp=d'E''n5 D`qZ 8/?iX[:N_oiոߨPVe"tugYZde860131c7be4f096ce14f7a6b0be89f371189e4665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7