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   r) ll S/ FunWithTilings:threads=2elapsed=40.605cpu=43.908gc=0.224factor=1.087zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGpF.eAqb3@t-jjӡcp\wg/|̇O:os:M} k:og-b w gtf+S7u ha 5\C:.J1լV:k6ۯ|2r,sK')+"&WsozF"k(`^RqyҊ';Ri(|[ĭ^7mдU.݉7E:F͹;m1; JVmUBjb*-V Fh۹bj;읨!nдk]GN?B$'ollbւL2UX֣qA l.9of:]ԏ9z /Y F{J&6COh\Yo$ ;d_-'_^#G;&!7]ض}E65J0sjwu. FbyI][I«r\M3aN0/ S>!kt׺Ɯa5ZlP1*c6yc,}x %ݿuK"G)0ژ00*oSLB\ʩ!3 Ӹ lyٕ61,G d%#N H8=?ARܻسAQYif9+qpCXiZ&K}q6[1%Nxl1~~B\kCsIfwrTUԱgYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a052554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 ) FunWithTilings