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 \%D, ]]Graph_Theory:threads=4elapsed=32.972cpu=111.656gc=5.576factor=3.397zXZִF! P]ŗXf[&Ddh_AOE%U\u&w/ T$^C[O\K,NɃChyRG&%묕nށf'T($ 4._WYRqcDŽkO2u3>uZ<90qx&1#ͼc]ns$J."-q"1w]q-Fnm2%j%ضv{YrI]--QFE|%drXԝbП-YGuJI "MxJɍ eؽ@%'S\RmÉCg"\ sp;`D@[w Jh-rkBЦz[T{%իEV!EK_/[NzѓWlA4;G*@ -.|3~Yv/+Ʋx,Vhӟ #0bsOb`cQlD\#i~TU(²3\1%W.hu.·57cvE2[G}kᶵ@?鳶*O9x:-::0;ۧ2dc< u-C@XZw- P4? AE~jP#Ѽ`fM%ǜuMg*bìk5Unӣ03mGcטk&,ƀi=JrgMxq5e%2͢RMg c{hh5#Ģθ˘ZWP 2W }0W]w uGKRdS.:P"GK/|s4Uim:9%5 F͸[,Lz>ڰC/ڮgQ*Uk\ ݅&N 0U%`)' H-TxT' n}^cD;qwu:Kt6H< <[6..D5͸JId2! ?;6V6!)}IԞ6O֧:{x}a/X;tPָR3/%^߬lOW7q~|$^[®yZ?(18Yv22 5dgp7k5YC254^vre`hui8"*A.;jW?6gnּ2d(/Vp*R񹅇l TWjHyx_ !SL %*yNM%6XM]шv)gY E$4B0ˊJSd{/"∲k}ZC|ARyTt LKxVL&nI2wASLӘ6MkBֵ2G^oq2Bs MU,PBح'ӗKaet 1FOīc$<# r[9pkK(/L2$vqs-NSK:V%0[bL赒 ;?@ GLn\ѯ9Y=0J`a/qM・\\b c dM H6E2_e PՏpz Jhu[IeL=m), !#XXr'3ka(A ~Hne"(|կ~MRsg$\޽2b/)߰7 SJڛ+;-wN<#AUC{*k2ҡ9~|pŒMMuY禽>xS@$yNzu#$6ש{۵BF软h[h.ܙNja hF!3ҫeɿ}s37,&8{w@-!G͟'-p+C^y#הS<Ώy aq65D1=&Ӳn(S{6Wx=njeb^HDι!cT"(l y|+mV4%7I&:q[ڤhm$FCz{6,6b8.=WpJ s)PUs_9(Γ/ى@ӄ%Q|ҋ,C!$M4yL5bйW#Rj6ׅQEj7&ձ)NO-;A+;IP@m?oVA`8_{Ӷ1d#Lt ^FauAdi/xWq^VFeM"纎,'2[Kͥm'4 pN̮0kB} ' ݛZ8d+u&!ybʖ&9 P9bጛ"܈pٙ,o ⁍-8/2[H$Nᵾ?=7K ']쓤*.hF=T]B$>ù yᄆ 1N32ӜT-L96mTMl0d?q[UVrR`g,0}EKA%HҺ#J ~`u:z!ވ@ //C?,* - QGir\;`}$?HQ 5'_M?-@ [K[qU1o';JaPMbgSBv1)?Hwr5fzg\poj#^bS1~g]15Y_%Xhxu 3 .f1^zE1zF~ƒ3*nz ȐurEI=<~E~ܢv'7e/kX5ND&cI-+Cq48 KC Պ͍rovO_Wo¼gna6y ϛ捞.F1(WJrbuTwFcA"t>s"Nf5HN¢4k6LOBtIB Nr&,Qs~_^ M뺾Ye;}tB2Nr{'8*X!U]C+'Qq<RiY-m/߬^ i0*VbmtP( N߮OzgZqH3f__ !s~Ö;?!QJc%4Hq4R0a2M^_5|vw!NA%c^~ .^1>yxb*MHFieQ0%SLXd}!5;GƼ/\Gg]d3fUY