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  9DlT ]% Koenigsberg_Friendship:threads=4elapsed=37.488cpu=126.316gc=3.168factor=3.377zXZִF! 4&]ŗXf[&)c*]`̀.vţMbr ?5TvJnh㜙(ȗHyɅĵxjNVOa|R# ei/ȟޗ/0}Y}$c>\KtO:فxC鄾Kv)J}gv1s}JڀҼ<2$rYksG2p RKՌh~Ŵjĺfݤ^쁃e^fc5Hn0znz{WlrԚ$DYCJ5tZ㇏@! 3G5S;ٻEx+ ṕh_pnm RK4C /W`7DY1-RFM*aD{0h^[dz-Sg (:z%_"Zá~.D`72y5Ѐjfk4*e5x"=I .1z!t9 g\l?5 v|u" 'Jv6yxk^?Ғ =\|YV3Erzx6vkQN4䷶^jmS%`1;frj 9 Koenigsberg_Friendship  Q!yM2#gYZ7zXZִF! ]ŗXi%B:fbյ 'j /_XA4D}1Z^|Ce66f߿:?AQ؁9z Pۛ?k lM+f?VbIƯ~v|AWI XC[vsY bAf5Ut`&u G¾c4S´9N]AjϖuyxcL5K jc,t7Bg5b-wd/Pq@%2IL`%&@vAFgUS\ZaBs@kCq8UYZMUd$/V2=*v 6F>E ܈#yE0+Ѷs(Kucܯ.`Ƥ_͋~;Ot%,C/pJgr}Sk1T Oe+v S>Gf%#Z}&Cؕ БޥEu%7WMIBOY#+4&l's|EdZx PmޥlB82`}CuZ9"&h*) h9jnZd݌ș3J|?$\ݨ{Y\\ Ag`;s[Iv@;Ϛdʋ.|ֲj81o*eF|Nm8qqiRv+lfZp?E }mtkBhڬNΥ$:*  S3sm:ZWڞ4ƚcDf`ir!."#$Y1m!'ArimbX5۴)9fb}!ѕQČ!< ljYq2,$U9cmgKȜGG91+>E@LTv.sF,55 Pi"-/"LHl]1U%#`qpL̕2hO1Q<}v z Ω[7 oVg0ɜכ9N&.Cz؛ ϪmVvVC驪:QcOơl&jzm4MП̝MK9hǏ>- 0ˌ=r>&׺ĵ|%;G.`l'7ϙirYZvS ,~"R|v>n[P6οM؜N-?(Ϝ}_\-Hry1z$9';L)- X.UߺSɧ:QCo悠&e}b ɭք-k%"ZmԬ"A1ynpRˑr:$On3Zh~2az<-d 7LSF[.ɐT wpI8U݆1/~bf "ƪcw̙ -Qo ! w7٢FvRcO8,մ#6ʂf|;zeXg'f j aLgV,D9R@MBH%N;Ґ4S$dšu;mpQ#HҢ-k\6D1>&b,Fӊ@ wAZY#f娐ie&qY7{:B{ ȩL|] NM7,sqil7B.i= y:ՓS9'5u5'eP"KT\8k1I765(֝%xpk^-E #.5o$*-6Y{ؗmdwP|>e5z_45_ﱡ!M+ ttsSEJ59tp3rlu9ĕ۲Ӫ5R oNݪyiZ%~Y1Gw݃iw'K(FRWsaҶ㦬: 7ǒwd793Z Oy >;=|h?"h7g 2/AB~%so3KTJ;3b/u| 5sӖ.>Ɵ@|}Ј 1%SLNrxЦը%A64S5̭'!<$YML0ih!^$ʵdK@H{\)g$F31G4㽹[/Vp6 O;sW 硽j3j{d UWG?Zsy29 ma+s}mc=n $ZŠ])ٛXA3aP/5dZEZ>`_<|iwl2Pz¡8e.oi}Fx: 4 2E@qoIXd3_7Q"AZ. Y_5eSTĹ'sUTG1;‡m/G*0 ۃpS!т3 hODoR3LMafC8 /8X K] `;m/%kDxxv{ܿt!GPWƒ!Gt@k)p0Y0yH4b_4.Lߦ7dW\kr,;EO*S+">Tךb fEOK|i=fpx1)r>VC1Cޑ@J`UxC@j>t)|U [U9ߎ e/H9_d4tQ?/A3 { ,kum"8JDzP*&/