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 q?$4D ]]HOL-Computational_Algebra:threads=6elapsed=33.190cpu=103.676gc=5.580factor=3.127zXZִF! 0v ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻^FE(<7B h!T8PihJɑ̦,HZll-gIܢ"o-1b$qd-F`gI?(-=G0on4b{Pp_ :"U($̑ fܭ+5n%~T(jэ8L,G4,|o^&^&WzgMxۙ+u"x7:nzoJ4PB ? HOL-Computational_Algebra"YnfYoLXH<R~5ϋ4O|;me V](+$ Q|Rk"sm;X{ȕDVmIc8N^m꜈kWWd=GO7J88 fV{^wxD#e.ռaEhU]. /Tt".;L%W\Ըm1dL#s #pj=@ڍQ#ʘW4Ǹ`d$MvMAF]X󄊦 *\jvv~7DsMFuF79,TX&a71Nr,{J>2mMA.Ӣv0]n߲CBƳ05p{˓%*_v3 #+hp#66ZIuW-azk<JK<(V-zȘ"9U3M`.} .˭$Rcm% 4. MeXFYyU4pEzK۟cG /P~%j yZ Gf$NDW zKev6pxż.!uZB,־ v1%z[N,nrh%UիsҒvWQ)Wl9Ά_-&"0|6ÒV ϗ6a:~& "qS6BUઅW g{ƆqI\jL z؊ t8!2 (ȩ a#Ϭ}dSq: 's"rPbTl8_c"fGgE=r!$KxQ>rJbt~ 6ߏλqFiheȡNpϝܾY bhyYJ*T%<9Ҏ$A׃fՄ8AN2̈́4J [5gYZ7zXZִF!  Y]ŗXi%;}ȝP+"Z^o)̖#ppGs5NUzcW `< Ѳ/,RXҠyg*`sŁ%#eɠY5 M54&wu<#oSO^Im 쑜Iv?Zew9A qNPIh*y '~J(E$G)dƲo"{k.ն+m*/@ѣj˂AfªDLׇG#+麫9=K-Z1S~BwiUژvRnS-X&K~$_'72I7_MT&PPEٱQ OhrLg.s+n}j !DFx ҆5 dJGi*Lw' ,.YfGz 5t!$ܚ+vdl4o#UmŽtKbJ0]"\dGJ1Ɛ_Qf :5rjY0CN2w Nwc9a.$ZZm hx XG%3%hց|dM2Y($=5xhBO6RH^"_,2:C5Ybtzav7Nu mcaX@q&!X;?eRUq%!SgN$Y6/U7oqf"zT`WcCPLF60IlڪĀjtl p0rUzP}9٤a+3 @tp4-DUz4b8jP M ~]odvpqIA tAL̉dnխga8אnj잠q:\:#xMHKrKJ-jdz=͏.ݾ ڶ~-Ae5 xG1 ]W|ؒ D" m(G. '-eaep_eWĒ0+/+jBm}e@ 1>i'RSfK<ČrFUb?c0,# # ӻfZTkI{AQtt=X.8@ }`#br8#^23ͷ"cV1W0d8c:Rx[,I2=zҥY<.ݛgYZ42f02f36c2db2cc546fcbe8caf4bdd948da092e784f26ce01913cf374dc1c991cfbba0ac44f7783a e7d19b8d6ca2092be300dabcd72735083d5d2405 43b60d3b795e6911ff3abaabb41bfedcfd496f476550cc5f7f98d49db050ff94348c0765c725c2ec