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 m3 l|\ ]/ Projective_Geometry:threads=4elapsed=21.444cpu=75.260gc=1.424factor=3.517zXZִF! ;N]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL͆+9ӫ$$lyZ7]rJ}S;ۮ; & ac#[u ̊o|+`TmߚRb;WU!Sf9m˒ʖg+`KXfX&Ϭgbgx/ l{*r9h/j&f3G+PE'7אZNh"2|8C=j (NS{ZΝ;vTWumOX:qy9I^5ޱqGnT~^ky&o(RFc 9~D$M԰Z ţb\a3;/.Ц WD%:Mc໩@X5L U,Z?0X8>4i4B!}Z!էa#D^1es/fg܆Kz`k+[8s|`y qOUI|q6u겾qDCj_ЏV vcαgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;SE\u8A !+baCmýMixmv*q7Z-: KT0-Yp$㋇7pt&l3-}z{jf2:u*^Yp *}JHlΦWӦQ0w;z!WfeBDA褚-,JwNJ`}6ͲgYZ7zXZִF! ]ŗXi%Gc/I2pFAt!9D9o(]tBa=~R@XQav2 ]?۹5frDV"4I괠a\+0CdK .4YtŽ䊅g􎝡I]xH$Ԫ v-5֧} ZJ ݞ,AѫDmfGzlx!BOB+囸kz>3h]K>Ͻzq (dv}LZώ!XDq &-EA 5ңR=峛uvPy jdgsd)]VjZ D&jAqlڬR8Q^F7[QZȖՑa2-Q|#z-4t1I"uoK@1z͸A)$Aݯ"m@mXqЗ8@i;m_5pr'V0Oc5Cjr,w^'2p%u$~wSkzoW{O(+2b-Bc$LY`͢IWBc4)K=P+֢{Ebsieߨ-Iجp e@*.sp(/$_ie;xIbqefh1؋ m:G5ӕX<>Luinr0Vλ^e6NheY g_ڳh1+fP`8&ߺ3 ,x&y,1'͋F [ i#0T?w!UςA'jZZb6?dHXysTpOͮB7+І2 lMGv[ S9& ~!@E?'P0.9W1 #yI?ϽrxfQ$Uu:p Գ|6"A߾/g#]rwsVF6[  Cχ[[LDC|BD;(z{`,8^ 0Me XjxuvibݼZGb%$VO@}nKՎqfXKcxӏV4=u~.;Bעeg)%nZBClh,EO{)ͫ&Y.~5O7,?R TVa4f$a NxSE칓%+iQB%5T ="4'{ EZ/zyHձع3,YXWn5,Bp"c׍-:!n'l'w\T/A!o. eKy]:QiđO4^Uݑ[ȶ_TwԵO?D VDk}= ;gu|!Pۘ\,lʐraԭx\0)@ՙǸ9.W!Խa7tO8Yߑ~VP^,TĎ)Ir5z_Ie׵20Q&Al,^el4N(pq9vB} :~%+ﴯ #2s'9gY*U@ZpIq|y%d[q~ajڊ\؍D^CbY,$7 {l/cj_`Z` <`l"KAoD9Ys^V9o%иד)b*k7WoZ )L z*v<ĻܓqQBLCI 5af~SՅc$Dn| ~ҾUa 'K A3^UBp+xM,PHVӆKY;Q!̣TcgYZd4d0dcf65af71e44414747600bec6bd218d057d31795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89