SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 e3 | , ]/ Projective_Geometry:threads=4elapsed=21.413cpu=72.788gc=0.584factor=3.407zXZִF! =6]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL͆:5Pvη->ܭZ4L.2}.hz0#g@|mVd7O2nw{ NE?(x䲯BTF(MW 2sa[/Ty 4E,JFa"& Ew("?ox=`w"ųcnc_2_\%cbޗvoV;8W(>-PG/WMHohLk} _gE84/GrExxb 3 Projective_Geometry  ɀujy,,̞P7繢%Y N cJ- _^!,PALWj',4 *:f2ST/[ 4R>@l\YߎYi~߉^ڟ_ezUp 3.^w50bVO/lV|JTw{APQ'VA!Y(g1;9(<ǧ,r1 +r-?gFcxWL߲X.3c?$UJNp^ If\\} 9_sN(~xvvDHjiԢ>-kYlN-41N z,"UnS]H.빃kl{-䩶C)W5~ %{4ioS{ͤ;qX嫠YG"#t֠[qO)o+'$,mS|g~r(ҵ/+8\r:͙y Iq^g,p^&0ib!VF%TŻYD} Yv.]6 !.R1utUsZU i֯gHQ'~dFA\216/)ȑo5y[c@DU`'W5.hε\6Ɲz18!f>Q)H3[`Wml%DYVV9Q"3ʜCm>bҍCp[zY9m"Z Hpޑ$C|cp(jK˅@h^jUt]\ ~՜mx ~q1vFbQ}0I{!@wNG*AbZ zֱgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;!g ۡ2~5I݉bIA R1X/Txy6TӼ`R*4-~b#2,:\"˕Ņ؍lvahѡ9<uurY K6"PDcvtAbiln|d@K@ رgYZ7zXZִF! } ]ŗXi%B8]0ŒK%gL@# Ô@7%6*E[x|a/1Sv6GWGYQպHFr=d ݏ^2x/غYȓr; -T_Τ8uZAYŁ7|ޟ} IxTsԩw auW@)ft.MHݵ\`ξ,Bj-| Ѯa- ?qu{(Yţ_Ⱦyӭ*0JT[35Dg s䔣]1kSVØ𩌵3br`ljGld]I1^! ؒ|ӓm9xP!qVYLGQEGخ>: 6*3* BHę #G"桜Cs2j>B7oqN)8z}kҰ; s#FhU)["tq,v8VSLr&f":ÛĆ皁8^)9MVQBbt/붞 DEr9B؀‰6Ƶ3 ~?Y۩B?>StۋZ!'XN4UhċK,A!dD*ܯX=J *G& nnPѪ17QOCojk[ZI}9`gkU:RܗT F驑.;:U/)?=ik23I6c6sKD9z|a0mFyN~oX= E/tlBjK LY^ JKd| 8 I7(3ߵٚOE bV+BjBHn}!ӪFCE`*8pʭz2]6@O+tw5c`vm%>k~)d141-&bgnZ(-cr;٠1 ^JEpNߟ׷L ATh([=LO٩ ;IdP_^O5/˃BS$Ϯfr#W4;;>:kG;_o0n=0K<ه冈\c ^$ͬ~|RNpYHN&:<@kRBp@F5!\Gz}_PIUbFߓqy=&ji%DXv|F`G%Nn4MTq ё:T,+dBDT$ lȥ=riOg~DCN2%hR}י#k/‰G+=H5D\o7R;4mSp>"1azƊpZ0}[rfu&qcgV| S ծɣ\+Rb>:nTO\|DK#XgYZab51c37527dd7f67ef6043f95bdf7c38f2466569ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe