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 S' L }]HOL-Cardinals:threads=2elapsed=23.467cpu=40.252gc=1.440factor=1.727zXZִF! ]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8D{'s-a$+SwϖZcK}bbGO3řުl٩ K'񇴖ՙ/|rj~3؁`Fr(ڬh5?Y3|j`"ag5ZӬ5eL@)9v^vCffX#yXrpOxɯZ7I:Lv- "*RXS8.欻pL({4qʟK &.hЉv& {E{BzsU4|8 V@/uU5"qhS._n4H@u߫h-PU{q*5IO "R D%@Ycޏv0r?^u;/ LnD0]\I`ב,K9Xw$2>+s\dRO7iMU/d g6YŲW#dy {ǰ /-ܙK6wC+BUhê4ʋd$2'&FlV+r?P@=?%'ٙ}/8gYZ7zXZִF! n{]ŗXi%6S'ቺNʂwg=~ȿ] -n5N-nD4DӘOW8ݕv >&) g[?\S#ʈٓHiȾo;T'=1$v JX[l$t\* XWX3[W9~麳\5P!gl2 |`}ݑFW:4[σt-&p,a+v+\i?Q4˟G~d"I)*JI^Fф_&!u<-KX\[qeBU_^VaF<2ڋf0*eV:~]*G ™摙GܚnZNoFyJi@fskhݍU. wj&D{;ź'8j#e?q̭ ~ _ՈVZ%;{{/nٞ2[ 4][-)KY0KA+_XUZREI{+ wf߂*5`ÃjARIq.{4Gs蓷cVʸn;A 9Aٗq#)0w3c $LYuU5QOJxƇPBX`_L]۵6o3-}WF!~{^9"fK<#`,0+u؋rBLyt{z'k>KD!!;{=E/Gh@w7ygx>6NU yx~ y—J*]f 1{$ws_NxA $Hh~Oפۑ3s󋓨6 Hl"1*NO481^bf=juEvxW$t~#-#`"RIfw=}*X