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 PP-' Lt  ConcurrentIMP:threads=2elapsed=23.051cpu=38.796gc=2.056factor=1.687zXZִF! _]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcVM xu2jRl(.cR5KM҇V46+g4^Lv`ag&?SbI [)d։7h 8xa=2Ob:w swrK%U%acd{dgn7_N[#UTcѯhqս*bN;,`[^zM(e]/ f zӥ33kџH^)ygҰe}rliw9[E165`o88dh먜BB J]6W:-bѝ=GqJk 3oU0IKlAjD}jbG+J7WڦU=nX;o.r@?mcDK*w-ǮzfND.MmSw2"3A0ecy^*M^K␘SADФ6\ѥ6F`QdO-!j_XjIo$uF7܂+y{JDoPqVUixG"l8Ӏ)J0A;y)L9gYZ7zXZִF! s3]ŗXi%(v\4M"nDJ7)"H^2@k5S#i uaL OrldlJFǫRř<䌈NgIךC,yC[,~`$%D~j@]:;0"r51\sY#a##T(K۝  |$(Qb<8eix0g֬_#bG5"2S!x>#fh#M4 P:-5u z۳qK=󣘡v$mp' $QDsV:aLJڭbA?(%ڐѱxNڼ?ʀgBkRhJ%"A r˕9r)OBh6!v]m)4@;|$>ȑ,`ʦ>E"s`U0&FEaZ=[V\ϭCe87i@T'P;Bb {>e&{x91SQ`2_A]psNRɊ*@K#$1gBjAPixzuVtRӵ)4nLIx Dυ9+"H%՗Pd`Zҷs͉wǓe3xcgjjnI&=2ybJn04o <"'֜?VWjBDzӋI Ɲx'eah1K(L6)"qgl@? .uVZgAQSYCQٰS*ɸǼÊ)o+} ͚-"vE Kg! Β[;W4/^W!;fN$K0bOvM1Fp 1EgYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 ' ConcurrentIMP