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 1+ 4l / Strong_Security:threads=2elapsed=21.905cpu=39.088gc=1.156factor=1.787zXZִF! 4]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=}^1iKEKo'pQB"{CPO5m~:ɴ=ƙǎge^e>q+~dφ) #bQŲK'XBS4a*+7Ft^GV16f[r|cX`f e2BPj+X~8T1 2Pm!BN UGc|{FQbA@cF(Ւ_'``̧ FYӭSYI2++h6^wo,:\-OD&sLgvwTx~:|A)>sA*ߝњ:  %\́Մ>=_l޲1hѫ5k#xb 2 S=L7P*]6~կw:l͘WB1ȴ `l F˽t C9~-@#NH1CpVҸ^b1o.v'+iXF877{U봊]i:kO+a0rt׵S3p[4MlӹNOo*%5sn](ÂQ4gYZ7zXZִF! p0]ŗXi%Z 5$KgmCFSҵ`~~>\H?r k*dĚ}H pYz,, `r>x~V%R'қR0)**OIZ) F/[!#ۗkHh*c2秭& 26t bׄEHKN\5Pʛ=Bdy˅Rl-<>ɕ<>?ق2a>E$t>WM_9tN ":.*3 љp\+ث'Ş'Fsj:g5SR ʨj8&Me%!^Дzfd7boFP@b.;g-&T\}IW#Vtf 렘(xJ^ L 7FU#2&%ph O5em*XչSG>]@ϻVkZ=׫Wl9_l+>u¡|f,C4$CHl Dnq@--=AʸI@'33qPjlG KYW# -0|DGD0YSTAc4&DTR[[ M9UTVCQz.;$hpto#nnlJj*ͷ"|kLBwJDBY-8oX1[CCUEyådjɈJ#;ު#oʵPx+heآ$lfkҲcˡq @ d3ѓj`fmɄ<uKg2ܖ2.wok3#޺AexQhnd, J0`L}h猇W-ɍ0;n^b@jc> is> BʱgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec aa28aaae513cde6d47a7f4f0509b1328c1e7daae b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa + Strong_Security