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 vv m Category:threads=2elapsed=3.269cpu=5.872gc=0.308factor=1.807zXZִF! q~]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝Y*buէ 9YvX#q؅ϟCVP9\^SfVɖ^'fѪ\8fz. jC?˫hA{}?;?kr/-# mN)9T3l6rMx V J8+~zHIu((vJ)=җ y\ @H~li#y*۶tA u&o5b ze~WB.J)L"% Zy0r7"G:Í/67دPUlw:{3& ;qf` h8{k=UM|`L"4l` ,Fn<X8HR3ڊ'%5tYz,\E j$6Œ ܓ5>G&1僡c超2G.o@W|;"V.R]{-,-yZez 4d*2\޿e系\ޣ=m>m .FVd}dP-ځcܪ104ULgYZ7zXZִF! >]ŗXi%! జf{X7 <~Q`tt>Nù=ߤ\`    CategoryB?QJ_[64BU |PaP~O8DQ4Tv^N{y!fǦȾxN*}oT5 ظ{+i!7sqvbʚ8H&%"nz8=ʖ6٣VCnY/<imy(O1Ȋ @/ 鿘{'eB/k3}_ &WvC3m6vQJڊ3ycMw\=(۱:֬dbmF6 /wekߡ281날Qczi:ť̂סfi% x3P+A,n*G}4\xIGQ&ɿ?ipeFT;S'pOO^% Uջ#؁U9)~e*^h󈋁z229\e5Y3hVgYZ0ac37a69b62c2ae2d7301864fbca29946708188c 233c392cbe5f40f02cfd79a0f5a8f38442034bb8 34d25fdd93b2c6ee45726530c1f7d7a434d8e68d 536b6a631519903540578f6486061a3cdba3408f 72bfc743d147ef4daaa53806994ba7507e7bf023 8e59b22606c3798a933d493c03bbb4689fe09412 d82c90603fef2def7218cb1008dad52557b2cbe8 e13e12156d9c631252a0ddc2750adf2f5118977d f2949a2222ede7773308b389d4c7f6b9f1b9d59807addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3