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 n $, ]]]ZF:threads=6elapsed=13.605cpu=43.052gc=2.332factor=3.167zXZִF! k ]ŗXf1-) enȈA"XxBT/'`a^0BkU͝&^(@ `Vίovs7.]sp#o9%& ug&%{} >yƯ+Y̰iTreH=O# 5O_Μ+yںvկ'xjb mu#a2.mŬvޔE$bHntٞ)6evqԽ^va8ok{(3 Ž(AI$h74k)?c'D8;'Ț&pZ:bp Duc:P(eq/H3sVX}}GibAILcuq0qx=K@+=HՄy|ڴw{Ngn&(TT\ 2 gG>x`vNFTaR'3|i=,U,G0}gYZ7zXZִF! O]ŗXiɟ 1FE`u$+'-a*AIrY_?zÆC8sKZz_Oހh6izO^Q>l섵x6߾hoӖ_Cʪ!*ˍ.U`P=٣Ó):eF"pec`\N!?#"7BbN2g ]'KL A\,@Hov?HW!Q>b*TT̨!-ïԷ+̞P^i!xMr;$X.9;+;pfoTskDdULvL~Bu99ЛI¬fǪLGqMg Vx穢 HnU+yc"–l8 w؟ddvxw~,k` @ϝ<ރ }&Awp\-v9* HƓfzb>1Ǭ猱] !Ŵ{h5Av\_Q{_ 7Ԭu~yH\nl 7o5V(Գ,ݯQTdgvjRP?MЬdjgYZ7zXZִF! A]ŗXi%6ZprnBrea 䳨;m} p#CCsuQ "Ӳλ>PH0 xlKڱ(]w2 n>osy~PF':o>HZí݃`ĻXO܂lQDZ~K1