SQLite format 3@ . BBh77otableisabelle_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  (= L\ ] Polynomial_Factorization:threads=2elapsed=49.123cpu=79.992gc=2.800factor=1.637zXZִF! )]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoDK3n2^Yj{}R #cn$O;b{QaYu}m]Ruz2FUHS˚Kq>c/=@S3nIUz3ZE*z6"$n Uܯ5 :. A/&J5yOPT-j)4b1K~FYᣱ޸#Aab&UbEwU~u2=(&1[ %L_ n!(| 83h6vpnʼِBpeMYdWi& u7E q5 Z9GD0V KtI&i[i1g.od-FzfmRA@v֪~tGO+Ư;וy]q3>ޕ׽1ܙ}S3.P%uZmLYL X>#""tԞ}Zga䞯0NHo̮*y:hN.6ZÆj:dծbPqYMd#K`v7}.5M_`/o5^ &N%?L;)aW'QRDjT qW~cؒGpЎ)NMol"M9n] ɷG1pqG?~$Ӱln }ea$#gWDVF°=S)gYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!T6z dtGh?GZ̦ )8?nwy84RjRXQ[vdq904 xU  wb'7&Qbbݿ4Ě›2+Juc+xl,]3![J|oMZíK \}+;.X.DT+(~ՅL Pa!W4_\8)$IY}EgQqvuAś P`p8no}cJ[X.ÎǴ)(prRKU8nDXq|4YS춛V[i7l/ XgYZ7zXZִF! ]ŗXi%6jC _-׮.iIa -M!k$76渨U坆qNg ~W–O4I>^n"aVM_jgE<2ƾί]s. [X:wtLAA<$ oo?Aڢ}kIO< ߕBP|;+o'(8 ❆$r ! ϳׇ*yHE-KZ }!L3.dnהdq'C+?g;QH:$ޤC^25GeoDЈ2V04)Ԋl_j]d8NS vg7qjdkLÁÃ)}/e5>\\ajZAKQiBCtCQW mlV4c3fTس:pPNܜTõcXnkQz(O[;x”s9aM1Y]4&>:-WIt+~ށ4!+958T*WP8Qq9,c Nv!>E 2ѧ^ٌsӀMgQqwQ9d ~":0kJ@+0<&`u+\[`HC v4B'e(fҧOM_VNKp=,\QC G|%P2mq ŊVoBĂ|J͢gaGi"i|2Y+-BXg{ {-_VDp>(|ڳ5x"1avtoGtLvZQm~8Lㄞ2X# e≔; FT5CQ 2 EiiwFIz30ϥ]4hO%`Y!ʴ>TQN :54&gjG/9d/3wq-8?!_$‰2:iY&"`rq|dE`\b5ilT G/ٶ9o'8LogYZ810ed5712d032778f4cf54142f68eedc31443d41e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab 0d482fea75712f747b73221c2647e7e8df67a1d3 40718a4836c54a8ba3b2a7d8946a7337a4cb4de5 f6599f0be52fd7043f1c245901d62b1486fd78db