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 __' \\ } HOL-Cardinals:threads=6elapsed=6.531cpu=34.628gc=1.144factor=5.307zXZִF! %]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v Gi:$InRXh 3lmo TRNs1E_3Z d*ns m*4l︷b}0K#^P\! Y.[jEX[fgB6Aݱ7fD,BFQt7y3;XՠM/ s|^u7AA?; k?bίgΗ;%s߼L :c>nPQ ^  5>n!Ā~2]3#IE#T[{Gˍa~%lջkJOu=q`DڠA3MIH74:*6P/Ͻ"-Rlo]m!5e|v&q{cDL"zKb#@4N Y<`9$Q@$\hx+õ^ jxd3qJ6G%lrzG X ڂںd!Fl!f*|Iq._W<AٽT$oHxtEG g#L$YTOmql7W5 ѝ^OtgIu*|PFBTd}++L5HYGeWVk ), T|ݣ}3q2ߐ!U ֔&{k=B^ؙ[/B mKSwlHSKsۆVrńˏ$u5R'uX#B/8z)  ه_>oWg5n`ȉFxL~ZB֯ұgYZ0fba804d67c28bcd7ee026f11ca5863180994c97 39d1029082cbca2bb5c37a9414ec85782939c523 4aa82869ab6954ea751fa236d010ba63fbaaa985 4f93f1b6c3e93fe5a7547d23edd458053452aa39 682abf8c978eaeec90fb94d25398880210ff5f10 6a3370288ea79ee9f494a3428259e4a8e8c5e0ac 7384a298679a9c21d2d0f490f2c86a7c467f4ead 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 9f2caa8cce607246da8ed0d7c63e7a661e857256 a369c4d99afc192a196ea064007ec13d112617f9 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 f1d18a4ea87dc7176b775af8eb263d4a43535e62 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b3457ff3fe36dc49ebbcde4e5934f36a98a4faaf7799f 11271cf7f5c3b7b5eb8058ac8fab9e5fd2f3757e 6452e1ec17fe035fc93c4ad00d5d2696a709daa3 ' HOL-Cardinals