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 h' \ ] HOL-Matrix_LP:threads=2elapsed=14.890cpu=28.636gc=1.448factor=1.927zXZִF! `]ŗXf1-q恈{RI $ϭ N/Xt(t_^90qz"fAH&lI_ٝ6a;WѾ+{B{:=`b4+Ew 4ݫY4cg'0zUKؕXt:B:Tø P-gYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿ)4y'@PZA4Iޯb{[V۲eۼ GwaeV|$8:q1thd_)F@P0W G꽻u.!*8nj*jx(Nq堲+gYZ7zXZִF! V]ŗXi%;@ts뷵dϫkR~ 3 k&>Jm}/v@&=@5qh{+:"l13Asossj-Cig]~oaiSG.-kALqfAׂB4W"D^ޙS;iM("Rp[ !n&/,ø0x%u'dqoCpkP}YfB{\==eD}кӰZ~ LV{AΔŘ˨ή@19"> fCn(*"Ac:mP{lP_4#En%(i x@< É'jXM"00)˝rx&г|ZTA߈Im Cdd( wQe",XW8Rycwg뗧85Go[Wp4-$ \m+`yp`qiG fןLXwb:+A]d Vj-*" ɟ2 '$ #^N!Jj*+}Vwj kCI".DYl`HB``_fY-!{d(ہ_b .3Y\9^~*jvKT %ϊ޴B{0QtlQ 2Ȗmggѧ5]a1QpۉyC[йSa!ޝpBD&"_:l'C+0 3-.rsf3m*|[ɱ.f#{6K6r{ O[V\l K>6dJ5)+ Ű&eʏ> aDZw4R<0 uUT/'=Bq`[ctdx%1qu6(`jb!gmK|*AFYuڤ2 ,Vc.zn*v\6CBkF5T sS@rbp62<\)yCIjS+!vER8ed{J|=~w c9"Bvk6s!VRN8< ^ogYZ387cedfb492f62122e95e033852e29890856fa8d98dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea ' HOL-Matrix_LP