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 Y3 dtD ]/ Projective_Geometry:threads=2elapsed=40.085cpu=54.640gc=1.136factor=1.367zXZִF! 7)]ŗXf1-/6vR[3 G2p):ÖOޓS~5ن2Hr|"'3ɸE\Tp#X/(|8@Las14-״a,O ג![& ܸt ¶Nv)Qw%G^.NK[V3~n`6a泄/BXEH_ 6?*c̔ҵLk JccK!ټq^# 1y8Udal:S NJ8HfNɔKx,i?*ss\b f#X$סT:H"m2p/Hwbyf{a 3 Projective_Geometry  uhJ3: )V˄˼DQ͟G.x' %#}~Mf4$/_7\ɅxǼrׁ? ңt9JZ1X)2 \q(E룓沕5i˾pȀL^OU _'kjM4 bG6Ps$TMvs;~M|d4n5<'a4 /jO^dv!Ci߯F Ҕr0ukV I>Q FIҮ>6+nS#(&bbNuJk l H-@&@"ƂsKz ME g>Ra#Z|5?+vČZUǸ5g, .eJ`:ֻEGƥ9h)}8Jn`spZCmnZa_p3=y+@6p7םqK*Ha;D! ƥ9Cʭ0̼l~:DKĆ ;COF3|iIOkƏ" N;2 =@>lPHVSj[S ^2@g8"N"v_t :B1`.;S"i&ZBl}P\ fRaQl kmŹ☗L;֘l(,&aӣq|s`vٔ͝pRPYE,T;R`7Crg^!nՎ:&Ckwv5/\U5 詵&!# & sɢOWvKVt_㬗7rѶ(v ɞw q7,(}"$j8ƀ}4ֽ$B ! j7eXSHT@G *Z3F.jH7.sQ]Z. O8vk,$ȞZ3o+WRcRS`1،AFlwVy18p]`6K^܌l4wvȽg3 8?X|,L ᥈WRFxL0E{w}9݀᫑̣\OHMx( {wjfA85w9%K:ގ Fjԧ/0ijeI΄gjݕ_չ=$+G}pL9/2<BT g?ZGYfua J1CəEH(QlNjvTUƭu%AnC}R'udGx9)wFUTXR 5t\;٘\U{nTYxC4W@R$Ve?==eC"}k_?j,CwJ0JTR.A516+f@TC<'y1ʤQ췘٣k3|{Ļa$m9%MڐGtGҷ iJjIv?0%ɿdƝnF32Ucle]z~pc/84kvr 4~BL =Lz %eQ/rF @8#PM) l$ ˇo)sC]ZkddOSEiZL|o9SFCz N4l#s攌k weP~u8;UVs)6R,Jy4۷{J#2J6$cB3T5[10R]8¶ξFOE(SY1Pf2mgph`(Sm@JN<aUJ-+ I[ k'ncq8ĆcePrh"0<]HOSөPf!icԽ.4l-!Q}}}}S/cYط{R`"KbyH%3SN"̗ː$JBMf./́qtg^ \}7O/~5 7JRUC{ -ilh_>EW)ēJY6wgP.Rcq^땄Ax ~Sf(ԉ{r ĻQlu]:- փ:qxjǿ1ѯ4sz98WK<puef]>JHfud*fL hE$;&[B qI"qEHre򮥠$ٚ g^rw)T4vMh VptNCC%MὉN/Ȑ*8 auHBEgb~>{^n|~>;0?.+5CS@m 飭 ^NtA]Kk>dBkBb$ C;m| Ef%brsdѿ/ |ba-Gv '.'ZEt#n:/'|Ym(T3˭XJe b~'7g!7YsC5vIBe]e;}$ntDԕcZȞ^|\l>3 7EV/@s2pHN/(݆Tq/}/(1K9pgYZde860131c7be4f096ce14f7a6b0be89f371189e4a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39