SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ) ) T1t$| ]/ 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@6jQ"2=uѲ@_&JQr`-o̖Whuیq?Վ 1#eU +g YZ7zXZ ִF ! ] ŗXiɟN$s2a§2M:J1!J4ʗ R^ǚ$¦Tڭ6M&_kAAɣNqhQz}]GkLi-v-.G@Slp^-Hq̛P MUic0NXUs3xi4ܮFpJcz@#HBy pGCP`@:b] *v.8Á^-q*oVPN kJֺ g YZ7zXZ ִF ! R)] ŗXi%ή++1Se=PQ9;lb|u()j8]9~&+3y*ئ XfZ23g\:괡 xt{`ɜïm#?-ݞS% 4a=
W{4{iK5,+@86 n_otRGW XAO}tL9LbXx)^f }p5OGu5σc#dd>F%tyT(R=ywn6&McK*.3%Apgq`9n"\h$ D\E w1lkUDZN>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/럿okAt48:H<)$j$ \~?E ï͔jOC+Sf,o% /Z7ÅNu"info=e]gxi_$a3O?Q[Y,U-o#Z.h=5JKhi>WdAVug<,1yY $.vɶ/P -9̕'!8 (*urMAO^|( ᕔ*9=Oء;+ ȊF 4}كbXf'ru uL̙C|;682`S: ѬNݡeQB y{uu-xzUqWu>rY4"\/y72 %h"\_%0|N |COb{,n,f<+# 6Ďdž;qN* i' Sg YZa6bf0f56b71f1254abe0bd099ad0b924dc41c23000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1 JiveDataStoreModel