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 {  \ ]% RSAPSS:threads=4elapsed=14.416cpu=45.168gc=1.596factor=3.137zXZִF! 1]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \X[Ո ${Ic-H2}q Na=K-$J|fϜꧼ>2JYvO +!Sh2$D4e_/ҝ3\*ESCYUO⨁Z?wʐ.wD'M-|&"GY:X$)aއMӹ5Ȃ^"uWdSÂ&xtHҩAri7:BĩXgYZ7zXZִF! dx]ŗXi%Gl;ES:l^t檃gǜK( :- /~.лG6Sl^|XyWo`%>][nc֦/y`F0%3n.];WX?ʇL0S6,4, >u(?L|BkfG`xRO@#1rŗ?+3[ [! ,J/dir~c5AxebB S|rz# ?j9N|?+G>`{O6ejJ-?ki`h7<cp푭^}Q.Gj9V!:f]G-O0knNTjxk~$4wL[hyKR4)lG _z?p,Qn`h[ y?UCo6i5 (A ?P>ˋO2jJF>.rKGk(%Jɾ|r3?NrE&UtgAH6&{ZR'<݈5Q[T3.1盺5H+j`4aXFYoGx yR6ܜͦg28䖏TIC":SUt %1J7믯׿e)+tES3sptgrR]a(9ɁWu;~),ٖ:$9gzLNˢlj~ndΏE: rsF5 b%f/~P@m&,\Y*7"xwoS vL>(]UF>LeX>X)QX]ygKu=?yȩ0@Fs?FJ4aB!8c$:T1OR(4ŬmF?1piȪ|CnҞ>DlHfxD -K^Wev0WnH/Sк޾Zp/pr9%b.moHqyrzNwԮr(ZΖW ZM/{}ڠJ%Z1h-p?!Xl|'޳4<km`Q `cUKAV g)VQ(2a(IȨk w}y~+@ e1h&SW3kp;M>ɻ-Rįma 쮕Ɇ7vŁ!OFBÙlTBEBU@ԱgYZd0110f130f5f8bd57d4ec310dc9384239038fd1a1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 1780c97a93d436d9744ad7a71dcf9555f805967d f92f4e83350589b298f177f2cabd7461909bd328   RSAPSS