SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  K K*?,\ Y]HOL-Computational_Algebra:threads=6elapsed=35.735cpu=109.036gc=4.344factor=3.057zXZִF! 1]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p!{ Qb\] ]WϳDu084'44!y4!i7#L}w2oՔ95 ABL3- .AOc`G,{(`ƀu;n4F*z x!Bq IpoYתY!̭%qb3 ЕIw}ֳ]H*)h|E78PNIJ ݇xTCVE|ʲIN*A>ˑktYHY-D$t55=.E*̱~G6?z}0fFk(k?K~㼕 ܚ+C$|[}܊z1ivm W2-?LX|(xYȂQPƂ]$B n 9'(\OZv; ? HOL-Computational_Algebra{ h]mJʊc-Md`][" LUQJnŕւy#x繸 V$}9$Duwlha.r3[O,Fv2XceEPG¹}yNPAg6UG2V%n1ѕ㍇sWݎJ +WEdNg=~./<OW浯%eƩc)W,s$/ (7]Zl6p3Zdڞ9MeY65ƂW-(oSr魞(%i"DN:oSyr(Cb@>kI+Ql3L cŁgYZ7zXZִF!  ]ŗXi%6Ӏ0^dzv<@{?/`*3GdmX QxlHBs"ѫjC{f-Y/:gUU'[eZKv"5q#g1 ]s~]`ZdBaa YJMP=2{8Fnw3?5QSHV̳=Ā;j=~zƳ2Zt'\B=YpX`mL&垏>u`.X~8K(=8SȩZ?Ə*e Bq2Zi՜ !M -8^p~>)FPN[ Xl fq/`P.'46t{Pxn- ?mܫ| 5(O'1y9dd7C:H3_Qا\= s pBhpNy{E,x æ#> 44`A/UI0"B$.8):_B^J'$_b$#fr5&@e %YyAC^/qO%تSD4 ;aVON=TTB38O;~5-(yer9w(9}Er)d6;cJ0,o`:m<p{ZeN熔B3R݇ >Dk7Y')b2@ZHUT=;8^ 8c F1d x`&˛ 2hRWl ˣ&FbxRFrە!=khQ,G9A": DǑ:Ӎ['.q*zlE&gYZ15ef148210b86cdf647e94d83b17a757e522eb1c 1841b643c8fe73fc079ef1109b42fa17d7529dec 20a172d562b70a0893fe85b0441f1489ee04873e 25429be490195efa63dab649cabdfe7e073414b1 36b8584ec82c8afdc1589603fca2b91a2eac3bb7 7364e9ccf7ab42c119771af0b30c338443b40c92 8b48747e6674abdc4e2841cd3d9ed677b51136e4 9b9e177591d02c11b520dec097a77fabd4864729 aa9dbc1d2b68c2aef92871faedec6c0c0d75df07 ba3b3a5730257d7f4916bd70913829a914ccdf7a c18c7c979cf98e514657390c6aa582a0982bd8fc c3d33250becfd164e282a97fb11e01e7e5e51f7e cd1459806cc3932b31a055615923cd979412bf6a e938de90145410fa9a5b0afec8a7862144709df2 f7174a3f8f9173e6213fb49c739b97de30843a736a0ed784f26b5ebad2e9665f172ab4f05843033c a5a6641747e9474d03d52614c2d0fff98c0bb585 c5b948318c357b1a3c9beba6f364f6ef7c3a9ae9cda35e7d84b1ba5d49a4216d116922b94f51bef2