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  93 td ]/ Projective_Geometry:threads=4elapsed=22.836cpu=79.652gc=1.456factor=3.497zXZִF! A4]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL͆ DN2ָN*k c0k|(J͑%zLQ9Սh>= ʺ)W>{DvaVEsfEO?)xK6>Cvx H1`^U'&<fg)!҂j]X?|\+c5-~4+[)ޢXVNE 4Ym ,*S?1xCu|lv442Y|;A0E2%\S|RnWlp|;3QUo^ǭumHVmv:~gP"oH72qw 3 Projective_Geometry  \2gf(=ȼT?_I>6EXN".^{ͦh+焕 biq:= ]2Rk2+XX4@qG{DMF)^%Y,I,jK*9wLe9ϖ^Uk?;ڃ?w e6Vek=>.qm$LĕF\)=j* QJ*8 zo&޼2@MV^ڕ !!AA _῏9 SMxHi:Ubl3SsG!aZ/2F{>3{[B~ƩYiyP<:y';`YMwױK>) ȇQƵǮ,2.c ^P¿{ٽz0Z~CBKYS,ޏs0v9gDdtM<į|z\'rV_!q}i!ND^?<~:NcەQpP,hYy9 ZgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;Ӹd£8)ޯYjh T{uҫzH TGbA|aaQz?FgߖNfb(Bﳇw[AaUX! FVe6#`ah%i)nQ|C~`)hiwmvldHذ3IZ2uRe ȯgYZ7zXZִF! l]ŗXi%Eb⬗u/YhN >Պޱw4h'v t -UO6\Mވ] >b9G!juU>1f gQ2KmQ1}/bnSu[& q}s1P93hr]̥-t+ZC i }'af_9e~p[g"d>dOW_%"큗B]])9udݔCA P S?rQX,Bwۈlz` i 2!Q ,cq6 V.N3H &:h~Z?=4^_[`Ssf {^֨0M$з];:ZFdF.9mIk.aJZ8+ۙΎۚ<ԁ0_z) 1tRP$`._O}2 ;1csH'n9V ʩP:.Kb- bpi<sk$P?Qvq:jB9ߏ}McUEǗ΍D4;ABסU(BQupA{6WFAn_'/^*2WqsSLҪSu ]s-r6? 'ɓ5VnuVa') (@Ŕh8Oz\]،~Sw+fqP(%TolR/foV2;*M4\kg0ϻ|с>!ٲKaZwCA?(9NA`,C˲j`x?2?  EW-ŲXwc)"k25f(7E}Nn7JN6kh NS7# xJ~-}-ҫm_0"ޱ°ˈGcל cFXpds8 㾌>KPH[@yXRڗ< *C7gfTr?Ot`,FBu׺+eog?S__<8&7UYoZo*ieN}%ӿgj^z UdJNY&CxM]0Sfdb0YL C`Ӏq%  (8.3- }贕 )RtabG#L`o)r,