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 r L ]% Fermat3_4:threads=2elapsed=18.079cpu=32.824gc=0.748factor=1.827zXZִF! ]ŗXf1-/6vRZ9Es˒<=JT!*pШ36GȋtMW%+<]؊޹OB*y:KWu` F]c7к(͌jg71( ~^uHܠyʉʲ:&tmIКP%r 1H´Y?#B&9 e^='_-G_FY.Ea|Wb=LȖgH})Å154?"!O• Sk4\DlpNg:.񄻹5,9d.[90@KIc%kIkX^;Kx> ޛhw ;JMDeM%oH)~gYZ7zXZִF! `]ŗXiɟL׎̈́>>^6:QWu*.]1&2C z\)ԀǪ_twʒ,`~MHk||{gYZ7zXZִF! i]ŗXi%>g ?޻].MlJ"Th΢ށ/4u!/rKJSX7[u|R͡ȼ\m%-I _\EsɜoVv@b(Č\<25hrtԕxi>/MN)VӉӹ|4Gt='&c.K 324q#|ںc>_LvB g/yNMJgZ5Pq4)X&(q/HiFlDψkj9ѺwaP$eꎭiH٤oPǜl3Ɍܿ!-iX>iCuƋ͙KZF#>L}ϵH/*aBx?oCDŠRN=5ڨ=9׾Edp1o/^/Yt"CSBcaXV} QĿ#]b0 \wmM.ѣuo˝ īlJglX &Jj;1wZً#+hS38 aL{r<jM6_If6 '8G5hL-e7NpCŔ3P& yJN8pSdk9s.E}ws8#u3&|`lbyVWqlߵ?A+g7_گ p޻+73Iaڌ̎zY}V1fR&^$uo+;4B<]>D^s-x 6۹pncڷ ~| 뢋23e "3_T%۞0ʧD>DbF7` m64B{" @ly8N'0 c $B:5IZ˝`T*wDwRW<B5,1ya8&=)Zp5 (Zji#O?^szuքωo8\Gm3&jIw9fzn Ҋާ\ s9B9]*@#푾DI}?_o::9YNS2nI`j=:NO_2_Z5$gA!^PQ+5 iF2$_2@/䷉țUO)S)$,?hwD*8^bo(;F# /k.D:X>'厺x`]DxVVIC|~k/J$pxI9q! 4HA9fp\jXl!3Ɔk={52^$ܱ&m pBx۾fwBė?u,kʼ+b\E|/Ayc#;Qs{gYҴgZ{}Y&RuL"Vn.ޚnߝڴ Pg ٻ7ND/v_ț@kәwf2!ZJ + $gYZ166f35a85b31a2d98a00de2486d6a138121a4359767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f e4aa6a6844d1bb4cfb5ae475f667119910f34ceb   Fermat3_4