SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info EE$+ \, / Strong_Security:threads=2elapsed=21.610cpu=39.160gc=1.384factor=1.817zXZִF! \ ']ŗXf1-/6vR[]IJ!@W&acK@jD; i + Strong_Security\tB!EL?eZ}N_'k#S_G( 4.KjW!B'H3 c B+vPnD0k] fΧm@kbR$"6Qym;6 pՉ 嘝/Z4H@} @܌1]K *QkkyBPZIef>\t=])&# ج^NއNjOOhRE[J0izRfL%dj+4 )@)Jɢsڬ4Cᎋ #AxKj˦dPńYek,tͶ``9܌M݅3 L/,oD>D]OМ t>o!@`Y#P&(zVQ'~~Nki LXܼjRnߗ YmS^kNz, l;<&|Cukۻ_fc~JojzPmm,5&1sP,aQ 7V_R 2["dZFnx\A~ˆ!8@foi0q2 gBF+T|=߾ m5ph`1șTʁ~z3y{(.dOYL$9HZ+*qi{}<$PJxrm|K)g^꛿-YcuGB^(Ƃ9T]{BMgK1yOq1 ^Gy]>7;AðrF; ަSQF7MH`c0uRv+wdvZ7F׷f҇UiOPTOۮb"p DZ%q@;[ FGpRي=ϩD.8Fyd8?b]vb50+f]̕)1bvVKezTrv( 1֌fެ9eCRk Ş(Jh` t$ZR*Xɉcwh~w .S@ eUh*]Wc2VS| 3ǹRJ'6(9bW68Y8P&cgqm&VԈ|ӦUYRÓ?N<@N415 J !&šRV$@WQG&OF*h̃$\MQ>DYWo^tl'kXkM/(Gr!W 5?~CY%",<_[z<F"7O ^q3g ai0f̉ Q^x(ELT`)3UsѓgWO .h z3&uMO]*95>PU 8Tr^x,H>諆ȵ@CB:,D2 gd Ƙ #sF〪,AnNM֢ Gm%1I@¾lJ~BxH`$Ƶy Yi 8\ ⭖ .%rwD/wS.rJ%t3ߏʌGEڈ‹OTG1bI0w^dWDGY4gYZ7zXZִF! p ]ŗXi%m]k{P3)]HQiT?4fȣR*dk)&9FV|kP&Wx#g5rCăʴ&Z̕# ssңө 14'ǘSs F@*X+G7A f}>BGCPhJDg1Jp0",$&8Z8wű@BWˋ$ j=ٕamݶقPCWkC wcDT?QD\S϶3|,nH1I5y\j k_7C_G5֬ !tf!^t$yy9`"[qGŘklmIg:9-pnp?"& rNaĒɵkL;?}_[P{Ae3E6Aڌܛ3ttDŽt]q+H(#ҤRlOg%PM`PUߐL\<)>dZeq y}rƻ KٯgYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696 fde71c36806bdde55e44d647d4af3bc364a2153cb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d