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 ))T1 t$| ]/ JiveDataStoreModel:threads=2elapsed=13.317cpu=22.792gc=1.108factor=1.717zXZִF! t]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 Ve>[OFw¼UM WI'Z[_CwUvz5f15tP^$}EFCq jAnQc>th9͵s~j>.,;4ĠpVIuzlׯ}~fzIC0OF.U37LCƖd5>f8~(x5 4Ub {Zy'$mW@6 jQ"2=uѲ@_&JQr`-o̖Whuیq?Վ 1#eU +gYZ7zXZִF!  ]ŗXiɟN$s2a§2M:J1!J4ʗ R^ǚ$¦Tڭ6M&_kAAɣNq h؀Qz}]GkLi-v-. G@Slp^-Hq̛P MUic0NXUs3xi4ܮFpJcz@#HBy pGCP`@:b] *v.8Á^-q*oVPNkJֺgYZ7zXZִF! R)]ŗXi%ή++1 Se=PQ9;󎙦lb|u ()j8]9~&+3 y*ئXfZ23g\:괡 xt{`ɜïm#?-ݞS% 4a=W{4 {iK5,+@86n_otRGW XAO}tL9LbXx) ^f }p5OGu5σc#dd>F%tyT(R=ywn6&McK*.3%Apgq`9n"\h$ D\Ew1lkUDZN>JˎB(2 <:,}J' B)kL:.Jm %? H֜4ԆXI-* Y&Ex&#ݱ]yJH{+ rjM,x v`1 u\h.C`jUh=+J^ . IѬ;8ɟ'Nx}>ȝh7֙pDDTBIkQ4vZ^B/럿okAt4 8:H<)$j$ \~?E ï͔jOC+Sf,o% /Z7ÅNu"info=e]gxi_$a3O?Q[Y,U-o#Z.h=5JKhi>WdAVu g<,1yY $.vɶ/P  -9̕'!8 (*urMAO^|( ᕔ*9=Oء;+ ȊF 4}كbXf'ru uL̙C|;682`S: ѬNݡeQBy{uu-xzUqWu>rY4"\/y72 %h"\_%0|N |COb{,n,f<+# 6Ďdž;qN*i'Ÿ SgYZa6bf0f56b71f1254abe0bd099ad0b924dc41c23000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1 JiveDataStoreModel