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 ^ d$D ]S]Matrix:threads=2elapsed=44.840cpu=77.248gc=3.136factor=1.727zXZִF! #,]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIی״'+yaGħyppq+ֵ;-'R{˝rjXPh<߄nMrP1-='QʹTƮ\P-`~!. Azhc/FBj:8-{<5nUcoҋMz ip=YH6n(QԲ_従9gaE`<2#H"&u6e;I`LMxiʙuP umjy. ~EGqW@JLu_ R`RLm7   Matrix]"p8 sWշW󭹧 E.Pg!8۟Եflʌshz'|t2#Qͱ[_M#7 CiҡDqQG"WmsBeO`hi?O#/+6{T'78oPX+o&!e`WJe;0r3w쵣AF/4/4ܥow715N^%+lbE6~ά5ziz7[7q"Yj0|V^'eD]u˂9CJ9)sQ.s֖}XN떉"C| _`^'ևߨMG gYZ7zXZִF!  ]ŗXiɟReDH$ 3gE= XVh9W晩nWx5%QMtɲ.CTS$XQ&ˀ WmH|q;^P{9,D2ym1PzN} ԽLf{yZbPaMȱGo{>01c$Ik1<³:oEP٬(eظw`p-5u ْ[gYZ7zXZִF! ]ŗXi%933zMjK=s褴 Jkn2i՘w31V^Pطk4Πh"\u0_!&O9G0gd^(,qD-?߆0ap9lq5szR/_3>e.v ݊V=+_r%<ާNZ%pN@F[<Ȇ>7H}!zj]!X]^̾lz};"[V&G"jV/*w3ySPihga?PcZǺ8 2CEBW_^`\/re\7/AH0Ԕ@O)VRt nf_ύpp{}3iAN9m.Pӎ.91KZ@F57vUvN)n!>@:%X!d'&VP깋9l(jxCX`>s3ՔT![3nTളr^uC[I}s򐐘5 ,e-` )wf z%u?!-^Vse;U"6W%N3{=>LwK!2&*>GAdʷ́$$\ٔ#QMcr >~rqb#ѶI9(s!;QtTmo1±.HlsRjT @T-eY|+٤ڃlu@ce1 WD$* Tٮ/ }J#_Jܴ2+ Cb|fVĀ۵~I[WkK O۳&Ud\w 0M jVQc9bUzCH_yhd{.cڧ >.SQCbrҺ>VN[hcS䣤xQjLJ06]= TfPoOcꨯ>=^cd#;BBm!.,'k,6Yebcn^"V3Jzq^3XO4ϝˇrFO}&mčUɹ"?iVB2]29~ϔ-w8H.7.ȩ4 A y_F?kbӲa؟}I-3y/B]発y%^BXVE oS(kSLI.BHS,'(ŻA`sgYZeeab404979e596fb14163698049f4bd90b44937ca86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 393da0dd488921eeafb571f21f89355097cea2379b9756975e5fab758b01eafc10269074695d30b2