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 (9,d, ]% Koenigsberg_Friendship:threads=2elapsed=65.571cpu=118.792gc=5.228factor=1.817zXZִF! 1]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS\OIW#6JFVK"H5qͰAD~8מ%^Wwj G9B%t%yJj2J61Mu 5N8E6c#н8*<t+KP+qOڽYvK}Vh"_%5AgP[dd)ɈD *h|}}'2 7Ur%\o|٘ڪ,e/bQ!Љryr6R:!&l!)N)De2e(˙\ k4m>|Eyv6Cl_(] ay9Rzױńk8Owڊdn2D4Eө_qD쿗@m. ߰Ȉ:wE Pt=}~党fSM/[丬Fd ,|܀6umOְswA5ń9r ݉)_ܸ @QB2>@!-^ 7 tU͡cHt&.NNJ(XKMio%h(9;f5"\Jb#! a S}g^M( 3$6A (`a'bNgYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhR/ .P-s$.pp3w=S䓧셯= M"^WYibuі}P[`jdbHjGqiUB_j\u_kw( ~/L65ٗFu02Hn}me}7DgYZ7zXZִF! IP]ŗXi%;C`T6k^kr(Keަ3',L?V }aSC|:8F ,r=ɌY/;kXI7436 &Ú1)XUq;;.RD`@xD|Ὠ Q \&pQz+\&Îk*1n9:"g/CJjQ"S$DՐ r%&N\YdÕrE[ @DtI:*0+\mǪRT%dd'v 9 Koenigsberg_Friendship  ѭCV`Yb,Qt [7Q)ʽTz8z߆,aQۏ74vdGxwU?̼ r>c+`^[GoeP4jnO;nx7.N`5ڥcHOBp}́br5z\'| T;U[ǓiV:fO~۲|vj V ѳ?8; fkG>gFL?>fYfi%dzWk,i Z; d3éFmјoV@Ɲ߫ 4]]OGtFgSuQ3vMW1vZԸQʒh5q#ȮX A3QqG`~YFkE \WeGTceڮB>D¯,!6FK(S1[s]=z RHǼ>֚KJyǷWqǴ^'MFRtַ`MJ.N0`V(mI@dKvFaoEY)ɮ9I,cTIi 7NZ0iy @|<0&|2ŐYلd{#?Sଂs Ѵ3ַhlԐ|83:CZ 7R9~duy&%4,Ä^;vk.iԩ3T/;v]#e?C-) xzuJu 0k-=*fEoNhpFP`7![Fo}Yw,+qR%H4| j8IW r,.'?˵Lڞٷ0o $w_لq h^ZN[u/8; x 'NjGv͐*98 J܇[9Md_.5,5H.޿$WySxP@V cB9_o®)N?[Wd+l L ت\j `!$h|Usb:<~tn~8/,3(aLӛm| :|s,/̇ݐ|H52we܍6dײO@ڱ:1'1oYN+ld#Xy"W_¬,5yǖN^ɡ~2',1NGƃ`[s»0Ŕ6. rcX&k V]:!23M)po7&8fԛ3W Vaf-qKN_QN‘M-Ot=A7#7]>NvϡE.'~FY W kSaR7&*.4i=JFohF6"zLy۶ՙ'踕>J W~ KU(L7#]Ѵcz"9QTXYtmhLudB%@"Dgr g"gt tti]hNi?bV.\FްL%O:Pl>s2OjLD Įab{Z֦V tձ I> qWC}suObڮFv|$- B"xTŮ^n[a"ɹ8Lw A~N'<ڄXu=w%7lt(9HOcB0QS:gۈZtP )lx0r!N ?9aa1+maĂ Ʒ@xD:gH\SYA0A x o73h4$惕RvMnVQ57VQYߍv6I)쵝= cbmZ0@v]H5ydHqT,Jo3&=!{nεc%FJw-j곩OqƓǫ5w~{mg._66J{kH"  v6J9>KUHv4$2E:%p-S➪*ʃvfp^Z ӯej@:Ԫ} 9&|8?[OdX^˔麵s>8 ~#ʚgyI/}tVHyy~ +u[_oK?a(G?L†4W6y!E8b)xyіkWj7WP Gi}E/ 1N;(-:hq~Qg |:{E'KǍj tWVuS9S͘QT Ei.y͵y$hVaWHoa3p;QwH