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 GG6/ $ m/ FeatherweightJava:threads=2elapsed=12.709cpu=23.116gc=0.664factor=1.827zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoo.y>6TKk\*J1Y׏EtrBS)؎n>y TG%ץb=z-ﻰst?V֊'?}滋SHJwa}`(8l*$OJq]'$a76ҭ~C)t#" |A穭1N=iowkz@)6 UojYĐ?|z^XW_3c)Ծ7/C`GnbZ [ %% K]!he'Ջ+g[=?/AnhH@O?6kG$q:RxhQgYZ7zXZִF! F`G]ŗXi%6xqdp(Cٺ齿9gA㵚\eWw9w-&:Y8gk<.TVإ ƲdXiۘ*͎Z8hrnrm{J+Z'|c@Kn,@& fSon%A499tVb!u(%5:s^) aNACZ2 :Y7ӄ{mpǾ"AP\aב1%0ò |GSL~H·! wȷy: K~P At4GWq/#/U:(LKD;RqD*SbJ{ѷ`2OcP)7hNL6b5Mb0)i}9SBpC! ct'n>*7CX.m""W2T O0 :؎`05핧K0l}tbtPv]Gup٧Z;I{;ηRnj?؞# R69<"6#d6tmYP1 #7AgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 / FeatherweightJava