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 ( | Yw ROBDD:threads=2elapsed=36.451cpu=66.592gc=2.476factor=1.837zXZִF! $96]ŗXf1-/6vR[Nj[@`4+Fpq-\"7%u ]cpJEgOȹ~|.DN#ru-!qK7 ?ɏq΍U LPq t&TyrM wip24J>PNqGu%Q.:餚j2R`(}K"_,XI\g)[(dGśq[W1TzOflN 94T{@}D$=e )!G^A"NA#E;6"~R9%FDP o38>ב҂`-pBx L  ROBDD/-;m¹3,r[?˧Y9@YT(^n6˕. !nȑ&~C$\ۊ16 GE!BAj'؅ u.  ob&qvWҒtiTc*.ZY j฀ `ON H(uei)#zPը=ǛBMNL\>9]8DdFP-P1y1Tw9Ŧ> *'6y%p1W*y^nZ3,1"5{QtQQ{$"۬":ĥ_" :GUL&fi~\C!=au[-X Ɍ6:I UA\\`|(bE(*#ɒ| v+CL%;F"PG " =H8sGTYy-U"́< =eM\8*i:hydNkr#*r7Msj,pMYJ)6U flZk3} rV!' Fܳ,:H2Ev ٵHPgYZ7zXZִF! g]ŗXi%6:ܛ vXǗaáu1߱g9ñ+4M_L6ºTbt%md & } "6]MÐfx'%B'/!Uc@XNL7'WCC0cWzѡ2 8J˞m_Wp֜93ۺd+t- 2SS"z/Sy5EcY+B-7Gڛ|z6FыxZŦ.xXAb&;܋U,IV2;Dw?qltdPs;sH)Rb*3ga"bmq+BO\Ⱦ㘔B6@5[(gqlj j,3b`_< JSGq,(k붌GV 91љL[SL@_kj>le)rњIlG.K)>r5wُ??VФidlb*B@&SGtoT|p~I#kʋ .H &aDe g7(1B?QLfc:>U/ІT:1!./z]1x/[uQՌTUd镡"ط) SnrIB*&vHdNd9n=}28K@/1? V'(Ԋj/]gT'b-Q5#&ӫFWVb\7E_й1 %V⁳b^Ut hI^D9(Z#Q0}p6FxFc$bAYT`Em?FItz{*߲6 s4U lRJ.չf9rVZ7NY*]`(זĤɟR*g`|{V/.|cn'RJgwO=|ijzC|VZ6}:Z!7-C 78Fui*jY y:O1S/ʠoW̪˦<P S{Y֊NkuHs$;_ l. Za`8k 'P(Zvk?]LW5tr_<>|;ykS@LҔ9)u9]<QAC0E,Jg;7+*{n S5TlkP¯9M,bn zYa4>Y;R4]Z׍A M1)݂ J2M8+⨺=+ ؤcgYZ03eb392ff0db50a3ac7d2849bebf4f4f50a162dc 42a67f57100b81b03b44307f42a9835041fb3d12 5cac6289965a2bb48c4aae4d7636b7b18d22fe0e 70ac768df17543cf28f6379a31b4e605bb06f489 72f1d130243a8f00408b9d314dd1ce7cb88339c7 b0d9490067b672d4940e7ad5d682a8c19ab8d249 bacbadabe0986cd044c1f842a71538ec9f0bfc39 bce738e8f85da291abad6b17e693e4f9e49b5a98 bfd53d22d9a2791645591fa4f657756e6e5265da bfddf7f0070f782114947af842c0596955a4754e c445f0c0899779b91ad465b30aa26058bae74db0 d6079417e65ac36319815904764d160f624676de dbfa79b6e2e3909f5e60281603b92ed9bc1aa8a3 ecab1d6e84820736669cc408c7e5fa53a78e9922 f90f18e2311295595cc551c427b6838d98a1ff97238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 0ce1c923844ebbe40b08861fb037d19007421337 409d2ec7fdfff483b241097706e2e941d1c9af43 54b36f44b82f7e6456cbb9fe4a132ffd157d1117 dbf0ccd83e99d604beea234c92694afb2e0d2e91