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 / L4l ]/ FeatherweightJava:threads=2elapsed=11.328cpu=20.648gc=0.768factor=1.827zXZִF! g]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!SKg SoZm-(GФLc:bs lmUD~gEsy q⡃ ҝVxŅru\D?%2pFFVN?45$F8&8&6c#ܶHODRT[-O:Z~Gl:n9n5^; DOK@ ySPdrSc)Yp'WȀ@#]u sXFUy6yp: *;LޱPYifR}q6"ɝ, j(ٶ (4gYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#QteP%)F Q\O UihFBH>tf`YculQȮ\G#TZM-c*dIDp{vhm3' L KdұgYZ7zXZִF! A.]ŗXi%9#qwHloS+W!C{ 1l(M ㄮhGO\(4Ծ7ijhpeX;6DRb:V)vV&ۃFy/s /%/͖$BnK޿Ѷ7rx:ڱd+Ր?$Hv6`,jwQ\{T=-0"g3 0$G'5kO qj2Œ3]R|r! dvag,O)&ZY Ͻ5mTgcyF jCHPǛ^ͭtx+ܘB)1FCB P)195`|jV3?$F Y'/#gN]4rWN]*#|DM|N,j8 W9B_jx;ݚc3 ԣPCK AyIE-J:P) >-6eLn)-ѷGiXFQ#CjxKQ,QcU (g`/e-*6*>3z2?JE,¾MOz2[4tDB8G \4ѣ Lz=6k),yDD9+ )M5Q׈޹VYAaqҒ`aVދ3^t6A$S3ѶW=.PQie\8ˆn.s=V"Er Y&^0yK?v۶La:-4!fߝ6 :Ύl]_s[ZUIEoxBs(:R>g+e3{x4OGc g$+ p{$B)q%a\8lWSE %?zjf!ORF7"۫DQQEΟGt^,q(gՎ8eZAxc&cgYZ1059c94dd554d82e77ab6c23e25ecaa4e27bd50d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a / FeatherweightJava