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 rC td ] Boolean_Expression_Checkers:threads=2elapsed=16.966cpu=30.012gc=1.728factor=1.777zXZִF! y3]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1}: ֵw7y~2` Uؘg=ZžUHPX&vpw)gG(aGn2Z,DMf?"l?Yjj|Y9!VEeZ\S{u)#z:siԐB[x弈{4?=wRheg-Ȩi'h}pįS3?\n!EwrrvyGgo.(2,NG sJARgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=D,c2?mKFx- !(g+<˼t6읡»wgyJ.?b35<EzgYZ7zXZִF! Tq]ŗXi%9#qtrCA!\<4Eaz!w/tnhw@ DԥDBNd ?{n~C)2Z /m]e z#h 'gx:}\YeO`~I*s32(KhQ~swb]Uk4~%WRxkohjjdY˚t8OFJas|&~s>@6Z_Z*nv NFxn$WEv(aN#w=H9ge&} UYdĜ¢$#C*dp뭸cX 0-bkH(xh2g%)#Y-` ъ>fp}k w= kv3Z7q j~@i`'`ZM7u7fY vOLXf,S=brYbޕdM(ouiF;909J#qPT5iVկ~)7#ʷq^!B4|MBuQ5h3BB?䏥I>ʆ8m0JkWd0)/fdܳ:O"㣋&lJCf0a'3?g{޵N^g%#eLM`_/RlɂYUqR1iSٴ0y 6GUuWQ.F}omL 1Tv+3/QYyG< lk8-h*SL a 5žj2c,>Kdͷbn. ؂g\MjmlL8pyqQ;(Q1Be#j&mFA/3\~¾B -c!X$|jGg/IuܳdY4in8UՑ)TEnDf "E5ymx@٪22˳V=d ]2+UlKt^QGཕ,@)VU{mjSmwKZ_c@ h#<㽌0.yJPN+h:k|@?` e( Z"v-hؓض<&ZG4"Fo`]M^;bdBWJ2X7p qT: ` U>w*8‡^Ց8  OhgYZdccc8fb94becc45d369e8a9c10a694cad312646c8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c C Boolean_Expression_Checkers